[josm-dev] Feature-Test

2011-08-28 Thread Dirk Stöcker
Hello, I implemented a new feature, but currently we are unsure whether it is better than before or not. Please try setting dialog.dynamic.buttons=true in advanced preferences. Now the buttons in the right-hand menu are displayed only in case mouse is in the corresponding field. This saves

Re: [josm-dev] Feature-Test

2011-08-28 Thread Claudius
Am 28.08.2011 16:37, Dirk Stöcker: Hello, I implemented a new feature, but currently we are unsure whether it is better than before or not. Please try setting dialog.dynamic.buttons=true in advanced preferences. Now the buttons in the right-hand menu are displayed only in case mouse is in the