Merge branch 'not-ready-for-upstreaming' into fp-integration

diff --cc src/tim/prune/App.java
index 54f1e98632c19ef76c7fa6af0d168bf02a763d1f,247a1332fc6f931c0836ab0e6fdfc36a563cec07..317064d39984acb566cee90940236c52c32fd58f
--- 1/src/tim/prune/App.java
--- 2/src/tim/prune/App.java
+++ b/src/tim/prune/App.java
@@@ -775,8 -761,8 +777,10 @@@ public class Ap
                        + " '" + inSourceInfo.getName() + "'");
                // update menu
                _menuManager.informFileLoaded();
 +              // recentre viewport on new file data
 +              _viewport.recentreViewport();
+               // update main window title
+               updateTitle();
                // Remove busy lock
                _busyLoading = false;
                // load next file if there's a queue