Ticket #2286: fullscreen-rename-to-maximize.patch

File fullscreen-rename-to-maximize.patch, 2.4 KB (added by avarab@…, 16 years ago)

Rename the --fullscreen option to --maximize

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

     
    140140                    "\t[--download=]<filename>                   "+tr("Open file (as raw gps, if .gpx)")+"\n"+
    141141                    "\t--downloadgps=minlat,minlon,maxlat,maxlon "+tr("Download the bounding box as raw gps")+"\n"+
    142142                    "\t--selection=<searchstring>                "+tr("Select with the given search")+"\n"+
    143                     "\t--[no-]fullscreen                         "+tr("Launch in fullscreen mode")+"\n"+
     143                    "\t--[no-]maximize                           "+tr("Launch in maximized mode")+"\n"+
    144144                    "\t--reset-preferences                       "+tr("Reset the preferences to default")+"\n\n"+
    145145                    "\t--language=<language>                     "+tr("Set the language.")+"\n\n"+
    146146                    tr("examples")+":\n"+
     
    175175        mainFrame.setVisible(true);
    176176        splash.closeSplash();
    177177
    178         if (((!args.containsKey("no-fullscreen") && !args.containsKey("geometry")
    179         && Main.pref.get("gui.geometry").length() == 0) || args.containsKey("fullscreen"))
     178        if (((!args.containsKey("no-maximize") && !args.containsKey("geometry")
     179        && Main.pref.get("gui.geometry").length() == 0) || args.containsKey("maximize"))
    180180        && Toolkit.getDefaultToolkit().isFrameStateSupported(JFrame.MAXIMIZED_BOTH))
    181181            mainFrame.setExtendedState(JFrame.MAXIMIZED_BOTH);
    182182
  • src/org/openstreetmap/josm/Main.java

     
    307307                System.out.println("Ignoring malformed geometry: "+geometry);
    308308        }
    309309        if (bounds == null)
    310             bounds = !args.containsKey("no-fullscreen") ? new Rectangle(0,0,screenDimension.width,screenDimension.height) : new Rectangle(1000,740);
     310            bounds = !args.containsKey("no-maximize") ? new Rectangle(0,0,screenDimension.width,screenDimension.height) : new Rectangle(1000,740);
    311311
    312312            // preinitialize a wait dialog for all early downloads (e.g. via command line)
    313313            pleaseWaitDlg = new PleaseWaitDialog(null);