Changes between Version 2 and Version 3 of Fr:Help/HiDPISupport

Timestamp:

2024-05-23T09:57:25+02:00 (5 weeks ago)

Author:

leni

Comment:

adjusted to 18 : Ajout de la possibilité de sauvegarder 'export GDK_SCALE' dans un fichier de configuration, pour éviter de lancer JOSM à chaque fois depuis un terminal ou de créer des scripts personnalisés.

Fr:Help/HiDPISupport

@@ -1 @@
-[[TranslatedPages(revision=17)]]
+[[TranslatedPages(revision=18)]]
 [[PageOutline]]
 
@@ -22 +22 @@
 
 === Linux ===
-Vous pouvez activer le mode HiDPI pour une application en la lançant avec la variable d'environnement `GDK_SCALE` réglée sur 2, 4, ..., par exemple.
+Vous pouvez activer le mode HiDPI pour une application en la lançant avec la variable d'environnement `GDK_SCALE` réglée sur 2, 4, ..., par exemple :
 {{{#!bash
 GDK_SCALE=2 java -jar josm.jar
 }}}
-Vous pouvez également modifier l'ui-scaling de java2d via la ligne de commande ou le fichier de configuration, , `josm` respectivement `josm-latest`, généralement situés dans `/etc/default/` (Debian/Ubuntu) ou `/etc/conf.d/` (Arch). Reportez-vous à [wikitr:/Help/Preferences#Customizationalloperatingsystems personnalisation] pour plus de détails :
+Si vous souhaitez le conserver de manière permanente, Vous pouvez modifier le fichier de configuration, , `josm` respectivement `josm-latest`, généralement situés dans `/etc/default/` (Debian/Ubuntu) ou `/etc/conf.d/` (Arch) en ajoutant cette ligne à la fin du fichier :
+{{{#!bash
+export GDK_SCALE=2
+}}}
+Vous pouvez également modifier l'ui-scaling de java2d via la ligne de commande ou le fichier de configuration. Reportez-vous à [wikitr:/Help/Preferences#Customizationalloperatingsystems personnalisation] pour plus de détails :
 {{{#!bash
 JOSM_ARGS="-Dsun.java2d.uiScale=2 {other args}"