Changes between Version 8 and Version 9 of Help/HiDPISupport
- Timestamp:
- 2020-05-22T11:07:00+02:00 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Help/HiDPISupport
v8 v9 41 41 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. 42 42 43 HiDPISupport Style:: Thisstyle 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.43 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. 44 44 45 45 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.[[Image()]]