| 35 | | Under [[wiki:Help/Preferences/Imagery|Imagery preferences]] / Tab ''Settings'' / ''Tiles zoom offset'', you can set an offset of 1. This makes JOSM fetch tiles of one zoom level higher and double the image resolution. Currently, this setting only applies to main map area and not the download dialog. |
| | 35 | 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. |
| | 36 | |
| | 37 | 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. |
| | 38 | |
| | 39 | 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. |
| | 40 | |
| | 41 | Image scaling (deprecated, experimental):: The advanced option `gui.scale` was used to scale the GUI and 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. |