Changes between Version 7 and Version 19 of Help/HiDPISupport


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

Legend:

Unmodified
Added
Removed
Modified
  • Help/HiDPISupport

    v7 v19  
    33
    44= HiDPI Support – Overview =
     5This page contains information on how to optimize the JOSM interface for a high-resolution display.
    56
    6 This page contains information on how to optimize the JOSM interface for a high-resolution display.
    7 The similar named [wikitr:/Help/HiDPISupport HiDPI Support] mappaint style is for exceptional cases only.
    87
    98== Basics ==
    10 
    11 1. Proper HiDPI-support was added with Java 9, so make sure you are running Java 9 or later.
    12 2. JOSM version r12722 or later is required.
     91. Proper HiDPI-support was added with Java 9 and some improvements were made in the following versions, so make sure you are running the latest Java version.
     101. An [wikitr:/WikiStart up to date] JOSM version is required.
    1311
    1412You can expect best results with even scale factors, e.g. 200%, 400%, ... but other values are supported as well.
    1513
     14
    1615== How to enable HiDPI mode ==
    17 
    1816If HiDPI mode is not enabled out-of-the-box, here are ways to activate it.
    1917
    2018=== Windows ===
    21 
    2219On Windows, you can activate scaled display mode system-wide. See for example [http://pccleaningtools.com/how-to-enlarge-display-text-in-windows this] extensive help page.
    2320
    24 For Windows 7, the option is called ''Display / Set custom text size (DPI)'', for Windows 8 it is called ''Display / Change the size of all items'' and for Windows 10 it is ''Display / Customize your display / Change the size of text, apps, and other items''
     21For Windows 7, the option is called ''Display / Set custom text size (DPI)'', for Windows 8 it is called ''Display / Change the size of all items'' and for Windows 10 it is ''Display / Customize your display / Change the size of text, apps, and other items''.
    2522
    2623=== Linux ===
    27 
    28 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.:
    2925{{{#!bash
    3026GDK_SCALE=2 java -jar josm.jar
    3127}}}
     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}"
     36}}}
     37
    3238
    3339== Tweaks ==
    34 
    3540 Background imagery:: By default, the tiles of the background imagery are scaled by the same factor as other GUI elements. This ensures appropriate font size, in case the background imagery contains text and symbols. However, it leads to reduced image resolution.
    3641
    37  Under [wikitr:/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.
     42 Under [wikitr:/Help/Preferences/Imagery#Settings Imagery preferences / 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.
    3843
    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)
     44 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).
    4045
    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.
     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.
    4247
    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.
     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.
    4449
    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()]]
     50 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.