When a document name contains a dot ('.'), only the part before the dot is shown in the document window. For example, if the name is "murine.new.gb", then only "murine" is shown as the name.
This feature needs to be verified for the "Tabbed documents" mode also.