Changeset 4484

Timestamp:

2003-06-05T12:43:33+12:00 (21 years ago)

Author:

mdewsnip

Message:

Improved the window positioning code. With some window managers, setting the location of the window causes it to be offset by a certain amount. This is now detected and compensated for.

File:

• trunk/gli/src/org/greenstone/gatherer/Gatherer.java (modified) (1 diff)

trunk/gli/src/org/greenstone/gatherer/Gatherer.java

@@ -251 +251 @@
         g_man.display();
 
-                // Center the screen, if this is do-able (not under most linux window managers apparently. In fact you're lucky if they listen to any of your screen size requests).
-        // g_man.setLocation((config.screen_size.width - size.width) / 2, (config.screen_size.height - size.height) / 2);
-        g_man.setBounds(bounds);
+        // Place the window in the desired location on the screen, if this is do-able (not under most linux window managers apparently. In fact you're lucky if they listen to any of your screen size requests).
+        g_man.setLocation(bounds.x, bounds.y);
         g_man.setVisible(true);
-                // The 'after-display' triggers several events which don't occur until after the visual components are actually available on screen. Examples of these would be the various html renderings, as they can't happen offscreen.
+
+        // After the window has been made visible, check that it is in the correct place
+        Point location = g_man.getLocation();
+        int x_offset = bounds.x - location.x;
+        int y_offset = bounds.y - location.y;
+        // If not, offset the window to move it into the correct location
+        if (x_offset > 0 || y_offset > 0) {
+        g_man.setLocation(bounds.x + x_offset, bounds.y + y_offset);
+        }
+
+        // The 'after-display' triggers several events which don't occur until after the visual components are actually available on screen. Examples of these would be the various html renderings, as they can't happen offscreen.
         g_man.afterDisplay();
                 // Hide the splash.