search

maripo / JOSM_easypresets

22 stars 7 forks source link

Icons are too big! #35

Closed maripo closed 6 years ago

maripo commented 6 years ago
screen shot 2018-06-17 at 23 44 47
maripo commented 6 years ago 
        upButton = new JButton();
        upButton.setIcon(ImageProvider.get("dialogs", "up"));
        downButton = new JButton();
        downButton.setIcon(ImageProvider.get("dialogs", "down"));
don-vip commented 6 years ago

That's the SVG effect, we fixed the same bugs in core :) https://josm.openstreetmap.de/ticket/16358

maripo commented 6 years ago

Thank you, I just fixed it in v1.13.2 by specifying icon size explicitly.