[JPP-Devel] SVN: [4929] core/trunk

2016-06-04 Thread jump-pilot-svn
Revision: 4929 http://sourceforge.net/p/jump-pilot/code/4929 Author: ma15569 Date: 2016-06-04 15:45:46 + (Sat, 04 Jun 2016) Log Message: --- Add zoom shortcuts to status bar: double clicking on scale section opens Zoom to scale plugin, double clicking on coordinate sect

[JPP-Devel] some enhancements on status bar

2016-06-04 Thread Giuseppe Aruta
Hi all, giving a look at the workbenchframe class I realized that there was a hidden option to activate garbage collector simply double cliking on the memory section. I adopted that way and I did some similar modifications: - double clicking on scale section opens Zoom to scale plugin - double clic