Re: [JPP-Devel] some enhancements on status bar

2016-06-15 Thread Giuseppe Aruta
Hi Ede thanks for the idea. I was checking a way to add a button to open Zoom to Scale plugin. But your solution was much better. I will find time on next week to modify the tooltips and internationalized, as you suggested. Peppe 2016-06-15 15:17 GMT+02:00 : > yeah,

[JPP-Devel] SVN: [4935] core/trunk/src/language

2016-06-15 Thread jump-pilot-svn
Revision: 4935 http://sourceforge.net/p/jump-pilot/code/4935 Author: michaudm Date: 2016-06-15 21:35:45 + (Wed, 15 Jun 2016) Log Message: --- add missing I18N Modified Paths: -- core/trunk/src/language/jump.properties

Re: [JPP-Devel] some enhancements on status bar

2016-06-15 Thread edgar . soldin
yeah, thanks. what would be really needed though is a hint in each mouse over tooltip that doubleclicking brings up which action, should be i18'd as well ;) when i added the "hidden" garbage collection routine i planned to do so, but never came around to it. didn't even add the "garbage