Fixes highlight not being reset when typing.
Bugfix: Highlighted words are now preserved across tabs.
Bugfix: Files saved in /tmp get a special label again.
Bugfix: Unsaved tabs are no longer added to the recently closed list.