#6 Tabs loose filenames

[Anonymous]

I had three files open. Did some editing, pressed the
Save All button, the files got saved, but now two of
my tabs showed the same file name. Selecting the
various files, the title bar still displayed the
accurate names.