[Bug 722130] File name no longer displayed in title bar