*fixed bug where patch titlebars were not properly re-titled after using save-as function (possibly other file I/O operations as well)