Changes between Version 18 and Version 19 of Help/HiDPISupport
- Timestamp:
- 2025-01-13T23:23:53+01:00 (12 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Help/HiDPISupport
v18 v19 46 46 Icons sizes:: There are advanced options `iconsize.*` to tweak the default icon sizes. In particular `iconsize.smallicon` will affect the icons in front of menu items, but also on some other places, e.g. in the panels on the right. 47 47 48 HiDPISupport Style:: [wiki:/Styles/HiDPISupport This] style scales the drawing of the map area using MapCSS tools. It was created at a time of poor HiDPI support in Java and should only be required in exceptional cases. 48 HiDPISupport Style:: [wikitr:/Styles/HiDPISupport This] style scales the drawing of the map area using MapCSS tools. It was created at a time of poor HiDPI support in Java and should only be required in exceptional cases. 49 49 50 50 Image scaling (deprecated, experimental):: The advanced option `gui.scale` was used to scale the GUI, basically trying to implement what is now available as Java 9 HiDPI support. It only got as far as scaling images. Further development is not planned as it is obsoleted by the Java 9 features. This option may be removed in a future release of JOSM.
