Changes between Version 7 and Version 8 of Help/HiDPISupport
- Timestamp:
- 2020-05-22T11:03:47+02:00 (5 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Help/HiDPISupport
v7 v8 39 39 Menu font size:: The font size for the main menu can be scaled by a certain factor using the advanced preference value `gui.scale.menu.font`. It is intended for relatively small adjustments. (JOSM r12923 or later) 40 40 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. 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 43 HiDPISupport Style:: 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.