Changes between Version 14 and Version 15 of Ticket #10455
- Timestamp:
- 2014-09-02T01:52:37+02:00 (12 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #10455 – Description
v14 v15 11 11 5. ~~7u67: The vertical toolbar is too wide: horizontal space wasted:~~ fixed in r7483 12 12 6. ~~7u67: The horizontal status bar is too large: vertical space wasted:~~ idem 13 7. 7u67: The icons in preferences dialog are ridiculously small 13 7. 7u67: The icons in preferences dialog are ridiculously small. From [https://developer.apple.com/library/mac/documentation/Java/Conceptual/Java14Development/04-JavaUIToolkits/JavaUIToolkits.html documentation] it is stated "JTabbedPane objects in OS X [...] have a standard size. If you put an image in a tab, the image is scaled to fit the tab instead of the tab to the image.". 14 14 8. ~~7u67: Java dock icon is displayed instead of JOSM one if launched with Java Web Start~~ only on first run, works fine after 15 15 9. 7u67: Restart does not work neither in Webstart nor OSX package


