Changeset 89 in josm


Ignore:
Timestamp:
2006-04-21T15:25:32+02:00 (19 years ago)
Author:
imi
Message:

added command line option --geometry

Files:
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
  • src/org/openstreetmap/josm/Main.java

    r86 r89  
    1616import java.util.concurrent.Executor;
    1717import java.util.concurrent.Executors;
     18import java.util.regex.Matcher;
     19import java.util.regex.Pattern;
    1820
    1921import javax.swing.Action;
     
    220222                        System.out.println("options:");
    221223                        System.out.println("\t--help                                  Show this help");
     224                        System.out.println("\t--geometry=widthxheight(+|-)x(+|-)y     Standard unix geometry argument");
    222225                        System.out.println("\t--download=minlat,minlon,maxlat,maxlon  Download the bounding box");
    223226                        System.out.println("\t--no-fullscreen                         Don't launch in fullscreen mode");
     
    292295                                downloadFromParamString(true, s.substring(14));
    293296                                it.remove();
     297                        } else if (s.startsWith("--geometry=")) {
     298                                Matcher m = Pattern.compile("(\\d+)x(\\d+)(([+-])(\\d+)([+-])(\\d+))?").matcher(s.substring(11));
     299                                if (m.matches()) {
     300                                        main.setExtendedState(NORMAL);
     301                                        Integer w = Integer.valueOf(m.group(1));
     302                                        Integer h = Integer.valueOf(m.group(2));
     303                                        main.setSize(w, h);
     304                                        if (m.group(3) != null) {
     305                                                int x = Integer.valueOf(m.group(5));
     306                                                int y = Integer.valueOf(m.group(7));
     307                                                if (m.group(4).equals("-"))
     308                                                        x = Toolkit.getDefaultToolkit().getScreenSize().width - x - w;
     309                                                if (m.group(6).equals("-"))
     310                                                        y = Toolkit.getDefaultToolkit().getScreenSize().height - y - h;
     311                                                main.setLocation(x,y);
     312                                        }
     313                                } else
     314                                        System.out.println("Ignoring malformed geometry: "+s.substring(11));
     315                                it.remove();
    294316                        }
    295317                }
Note: See TracChangeset for help on using the changeset viewer.