Changeset 5514 in josm for trunk/src/org/openstreetmap/josm/tools/WindowGeometry.java

Timestamp:

2012-09-17T17:59:41+02:00 (12 years ago)

Author:

stoecker

Message:

allow to switch and remember display number for main window even in maximized mode

File:

• trunk/src/org/openstreetmap/josm/tools/WindowGeometry.java (modified) (10 diffs)

trunk/src/org/openstreetmap/josm/tools/WindowGeometry.java

@@ -82 +82 @@
     /**
      * Exception thrown by the WindowGeometry class if something goes wrong
-     *
      */
     static public class WindowGeometryException extends Exception {
@@ -100 +99 @@
 
     /**
+     * Creates a window geometry from a position and dimension
      *
      * @param topLeft the top left point
@@ -110 +110 @@
 
     /**
-     *
+     * Creates a window geometry from a rectangle
+     * 
      * @param rect the position
      */
@@ -125 +126 @@
     public WindowGeometry(Window window)  {
         this(window.getLocationOnScreen(), window.getSize());
+    }
+
+    /**
+     * Fixes a window geometry to shift to the correct screen.
+     *
+     * @param window the window
+     */
+    public void fixScreen(Window window)  {
+        Rectangle oldScreen = getScreenInfo(getRectangle());
+        Rectangle newScreen = getScreenInfo(new Rectangle(window.getLocationOnScreen(), window.getSize()));
+        if(oldScreen.x != newScreen.x) {
+            this.topLeft.x += newScreen.x - oldScreen.x;
+        }
+        if(oldScreen.y != newScreen.y) {
+            this.topLeft.y += newScreen.y - oldScreen.y;
+        }
     }
 
@@ -250 +267 @@
 
     /**
-     * Replies the size spezified by the geometry
-     *
-     * @return the size spezified by the geometry
+     * Replies the size specified by the geometry
+     *
+     * @return the size specified by the geometry
      */
     public Dimension getSize() {
@@ -258 +275 @@
     }
 
+    /**
+     * Replies the size and position specified by the geometry
+     *
+     * @return the size and position specified by the geometry
+     */
     private Rectangle getRectangle() {
         return new Rectangle(topLeft, extent);
@@ -278 +300 @@
             GraphicsDevice gd = gs[j];
             if (gd.getType() == GraphicsDevice.TYPE_RASTER_SCREEN) {
-                virtualBounds = virtualBounds.union(gd.getDefaultConfiguration().getBounds());
+                virtualBounds = virtualBounds.union(gd.getDefaultConfiguration().getBounds());
             }
         }
@@ -303 +325 @@
      * 
      * @param preferenceKey the key to get size and position from
+     * @return bounds of the screen
      */
     public static Rectangle getScreenInfo(String preferenceKey) {
@@ -308 +331 @@
             /* default: something on screen 1 */
             new WindowGeometry(new Point(0,0), new Dimension(10,10))).getRectangle();
+        return getScreenInfo(g);
+    }
+
+    /**
+     * Find the size and position of the screen for given coordinates. Use first screen,
+     * when no coordinates are stored or null is passed.
+     * 
+     * @param g coordinates to check
+     * @return bounds of the screen
+     */
+    private static Rectangle getScreenInfo(Rectangle g) {
         GraphicsEnvironment ge = GraphicsEnvironment
                 .getLocalGraphicsEnvironment();
@@ -351 +385 @@
     /**
      * Find the size of the full virtual screen.
+     * @return size of the full virtual screen
      */
     public static Rectangle getFullScreenInfo() {