[hihihlo]

when close a file/doc, the file-tab-bar (or named file-list / doc-list) still keep that tab !!
after that, file name of file-tab is no longer correct.
this seem happen in version 21.1.906 and 21.1.907