Changeset 1496 in josm

Timestamp:

2009-03-17T18:58:04+01:00 (16 years ago)

Author:

stoecker

Message:

fixed #2286 - rename fullscreen to maximize - patch by avar

Location:

trunk/src/org/openstreetmap/josm

Files:

• Main.java (modified) (1 diff)
• gui/MainApplication.java (modified) (2 diffs)

trunk/src/org/openstreetmap/josm/Main.java

@@ -308 +308 @@
         }
         if (bounds == null)
-            bounds = !args.containsKey("no-fullscreen") ? new Rectangle(0,0,screenDimension.width,screenDimension.height) : new Rectangle(1000,740);
+            bounds = !args.containsKey("no-maximize") ? new Rectangle(0,0,screenDimension.width,screenDimension.height) : new Rectangle(1000,740);
 
             // preinitialize a wait dialog for all early downloads (e.g. via command line)

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

@@ -141 +141 @@
                     "\t--downloadgps=minlat,minlon,maxlat,maxlon "+tr("Download the bounding box as raw gps")+"\n"+
                     "\t--selection=<searchstring>                "+tr("Select with the given search")+"\n"+
-                    "\t--[no-]fullscreen                         "+tr("Launch in fullscreen mode")+"\n"+
+                    "\t--[no-]maximize                           "+tr("Launch in maximized mode")+"\n"+
                     "\t--reset-preferences                       "+tr("Reset the preferences to default")+"\n\n"+
                     "\t--language=<language>                     "+tr("Set the language.")+"\n\n"+
@@ -176 +176 @@
         splash.closeSplash();
 
-        if (((!args.containsKey("no-fullscreen") && !args.containsKey("geometry")
-        && Main.pref.get("gui.geometry").length() == 0) || args.containsKey("fullscreen"))
+        if (((!args.containsKey("no-maximize") && !args.containsKey("geometry")
+        && Main.pref.get("gui.geometry").length() == 0) || args.containsKey("maximize"))
         && Toolkit.getDefaultToolkit().isFrameStateSupported(JFrame.MAXIMIZED_BOTH))
             mainFrame.setExtendedState(JFrame.MAXIMIZED_BOTH);