Ticket #3439: unbreak-language.patch
| File unbreak-language.patch, 961 bytes (added by , 17 years ago) |
|---|
-
src/org/openstreetmap/josm/gui/MainApplication.java
86 86 args.put(key, v); 87 87 } 88 88 89 Main.pref.init(args.containsKey("reset-preferences")); 90 89 91 // Check if passed as parameter 90 92 if (args.containsKey("language")) { 91 93 I18n.set((String)(args.get("language").toArray()[0])); … … 93 95 I18n.set(Main.pref.get("language", null)); 94 96 } 95 97 96 Main.pref.init(args.containsKey("reset-preferences"));97 98 98 99 99 if (argList.contains("--help") || argList.contains("-?") || argList.contains("-h")) { 100 100 // TODO: put in a platformHook for system that have no console by default 101 101 System.out.println(tr("Java OpenStreetMap Editor")+"\n\n"+
