Changeset 89 in josm

Timestamp:

2006-04-21T15:25:32+02:00 (15 years ago)

Author:

imi

Message:

added command line option --geometry

Files:

• images/mapmode/addlinesegment.png (deleted)
• src/org/openstreetmap/josm/Main.java (modified) (3 diffs)

src/org/openstreetmap/josm/Main.java

@@ -16 +16 @@
 import java.util.concurrent.Executor;
 import java.util.concurrent.Executors;
+import java.util.regex.Matcher;
+import java.util.regex.Pattern;
 
 import javax.swing.Action;
@@ -220 +222 @@
                         System.out.println("options:");
                         System.out.println("\t--help                                  Show this help");
+                        System.out.println("\t--geometry=widthxheight(+|-)x(+|-)y     Standard unix geometry argument");
                         System.out.println("\t--download=minlat,minlon,maxlat,maxlon  Download the bounding box");
                         System.out.println("\t--no-fullscreen                         Don't launch in fullscreen mode");
@@ -292 +295 @@
                                 downloadFromParamString(true, s.substring(14));
                                 it.remove();
+                        } else if (s.startsWith("--geometry=")) {
+                                Matcher m = Pattern.compile("(\\d+)x(\\d+)(([+-])(\\d+)([+-])(\\d+))?").matcher(s.substring(11));
+                                if (m.matches()) {
+                                        main.setExtendedState(NORMAL);
+                                        Integer w = Integer.valueOf(m.group(1));
+                                        Integer h = Integer.valueOf(m.group(2));
+                                        main.setSize(w, h);
+                                        if (m.group(3) != null) {
+                                                int x = Integer.valueOf(m.group(5));
+                                                int y = Integer.valueOf(m.group(7));
+                                                if (m.group(4).equals("-"))
+                                                        x = Toolkit.getDefaultToolkit().getScreenSize().width - x - w;
+                                                if (m.group(6).equals("-"))
+                                                        y = Toolkit.getDefaultToolkit().getScreenSize().height - y - h;
+                                                main.setLocation(x,y);
+                                        }
+                                } else
+                                        System.out.println("Ignoring malformed geometry: "+s.substring(11));
+                                it.remove();
                         }
                 }