Changeset 4789 in josm

Timestamp:

2012-01-13T13:41:48+01:00 (13 years ago)

Author:

simon04

Message:

allow to change preference settings via cmd line arguments (e.g., --set=expert=true enables expert mode, helpful for testing with clean settings)

File:

• trunk/src/org/openstreetmap/josm/gui/MainApplication.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/gui/MainApplication.java

@@ -102 +102 @@
                 "\t--[no-]maximize                           "+tr("Launch in maximized mode")+"\n"+
                 "\t--reset-preferences                       "+tr("Reset the preferences to default")+"\n\n"+
+                "\t--set=<key>=<value>                       "+tr("Set preference key to value")+"\n\n"+
                 "\t--language=<language>                     "+tr("Set the language")+"\n\n"+
                 tr("options provided as Java system properties")+":\n"+
@@ -194 +195 @@
         // Check if passed as parameter
         if (args.containsKey("language")) {
-            I18n.set((String)(args.get("language").toArray()[0]));
+            I18n.set(args.get("language").iterator().next());
         } else {
             I18n.set(Main.pref.get("language", null));
         }
         Main.pref.updateSystemProperties();
+
+        if (args.containsKey("set")) {
+            for (String i : args.get("set")) {
+                String[] kv = i.split("=", 2);
+                Main.pref.put(kv[0], "null".equals(kv[1]) ? null : kv[1]);
+            }
+        }
 
         DefaultAuthenticator.createInstance();