Changeset 46 in josm for src

Timestamp:

2006-01-26T01:14:31+01:00 (19 years ago)

Author:

imi

Message:

• fixed fullscreen mode under Linux (disable with --no-fullscreen)
• added ShowModifiers for tutorials

Location:

src/org/openstreetmap/josm

Files:

• Main.java (modified) (5 diffs)
• gui/ShowModifiers.java (added)

src/org/openstreetmap/josm/Main.java

@@ -4 +4 @@
 import java.awt.BorderLayout;
 import java.awt.Container;
+import java.awt.Dimension;
+import java.awt.Point;
+import java.awt.Toolkit;
+import java.util.Arrays;
+import java.util.Collection;
 
 import javax.swing.JFrame;
@@ -29 +34 @@
 import org.openstreetmap.josm.gui.ImageProvider;
 import org.openstreetmap.josm.gui.MapFrame;
+import org.openstreetmap.josm.gui.ShowModifiers;
 
 /**
@@ -74 +80 @@
                 getContentPane().add(panel, BorderLayout.CENTER);
                 setSize(1000,740); // some strange default size
-                setExtendedState(MAXIMIZED_BOTH); // some platform are able to maximize
+                setVisible(true);
                 
                 // creating actions
@@ -143 +149 @@
                 setupExceptionHandler();
                 setupUiDefaults();
-                
+
                 // load preferences
                 String errMsg = null;
@@ -170 +176 @@
                 main.setDefaultCloseOperation(EXIT_ON_CLOSE);
                 main.setVisible(true);
+
+                Collection<String> arguments = Arrays.asList(args);
+
+                if (arguments.contains("--show-modifiers")) {
+                        Point p = main.getLocationOnScreen();
+                        Dimension s = main.getSize();
+                        new ShowModifiers(p.x + s.width - 3, p.y + s.height - 32);
+                        main.setVisible(true);
+                }
+                
+                if (!arguments.contains("--no-fullscreen")) {
+                        if (Toolkit.getDefaultToolkit().isFrameStateSupported(MAXIMIZED_BOTH))
+                                main.setExtendedState(MAXIMIZED_BOTH); // some platform are able to maximize
+                        else {
+                                Dimension d = Toolkit.getDefaultToolkit().getScreenSize();
+                                main.setSize(d);
+                        }
+                }
         }