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 a lot of space and thus allows to
see contents better. On the other hand it is a very uncommon system and
may disturb users.
Comments and suggestions welcome (see ticket #6731 -
http://josm.openstreetmap.de/ticket/6731).
Ciao
--
http://www.dstoecker.eu/ (PGP key available)
_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev
