Changes between Version 15 and Version 19 of Help/HiDPISupport


Ignore:
Timestamp:
(multiple changes)
Author:
(multiple changes)
Comment:
(multiple changes)

Legend:

Unmodified
Added
Removed
Modified

  • Help/HiDPISupport

    v15 v19  
    2222
    2323=== Linux ===
    24 You can activate HiDPI-mode for one application by running it with the `GDK_SCALE` environment variable set to 2, 4, ..., e.g.
     24You can activate HiDPI-mode for one application by running it with the `GDK_SCALE` environment variable set to 2, 4, ..., e.g.:
    2525{{{#!bash
    2626GDK_SCALE=2 java -jar josm.jar
     27}}}
     28If you want to keep it permanently, you can modify the config file, `josm` respectively `josm-latest`, usually located in `/etc/default/` (Debian/Ubuntu) or `/etc/conf.d/` (Arch) by adding this line at the end of the file:
     29{{{#!bash
     30export GDK_SCALE=2
     31}}}
     32
     33Alternatively, you can modify the java2d ui-scaling via the command line or the above config file. Refer to [wikitr:/Help/Preferences#Customizationalloperatingsystems] for details:
     34{{{#!bash
     35JOSM_ARGS="-Dsun.java2d.uiScale=2 {other args}"
    2736}}}
    2837
    … …  
    3746 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.
    3847
    39  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.
    4049
    4150 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.