Changes between Version 17 and Version 19 of Help/HiDPISupport

Timestamp:

(multiple changes)

Author:

(multiple changes)

Comment:

(multiple changes)

Help/HiDPISupport

@@ -22 +22 @@
 
 === Linux ===
-You can activate HiDPI-mode for one application by running it with the `GDK_SCALE` environment variable set to 2, 4, ..., e.g.
+You can activate HiDPI-mode for one application by running it with the `GDK_SCALE` environment variable set to 2, 4, ..., e.g.:
 {{{#!bash
 GDK_SCALE=2 java -jar josm.jar
 }}}
-Alternatively, you can modify the java2d ui-scaling via the command line or the config file, `josm` respectively `josm-latest`, usually located in `/etc/default/` (Debian/Ubuntu) or `/etc/conf.d/` (Arch). Refer to [wikitr:/Help/Preferences#Customizationalloperatingsystems] for details:
+If 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:
+{{{#!bash
+export GDK_SCALE=2
+}}}
+
+Alternatively, you can modify the java2d ui-scaling via the command line or the above config file. Refer to [wikitr:/Help/Preferences#Customizationalloperatingsystems] for details:
 {{{#!bash
 JOSM_ARGS="-Dsun.java2d.uiScale=2 {other args}"
@@ -41 +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.
 
- 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.
+ 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.
 
  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.