Changeset 3537 in josm for trunk/src/org/openstreetmap

Timestamp:

2010-09-18T09:48:41+02:00 (14 years ago)

Author:

bastiK

Message:

fix fullscreen by adding simulated mode for windows platorm (patch by Christian Müller) - see #5463 - get rid of window decorations in fullscreen mode

File:

• trunk/src/org/openstreetmap/josm/actions/FullscreenToggleAction.java (modified) (3 diffs)

trunk/src/org/openstreetmap/josm/actions/FullscreenToggleAction.java

@@ -4 +4 @@
 import static org.openstreetmap.josm.tools.I18n.tr;
 
+import java.awt.Dimension;
 import java.awt.Frame;
 import java.awt.GraphicsDevice;
 import java.awt.GraphicsEnvironment;
+import java.awt.Toolkit;
 import java.awt.event.ActionEvent;
 import java.awt.event.KeyEvent;
@@ -16 +18 @@
 import org.openstreetmap.josm.Main;
 import org.openstreetmap.josm.tools.PlatformHookUnixoid;
+import org.openstreetmap.josm.tools.PlatformHookWindows;
 import org.openstreetmap.josm.tools.Shortcut;
 
@@ -71 +74 @@
 
         Frame frame = (Frame)Main.parent;
-        frame.dispose();
-        frame.setUndecorated(selected);
-        gd.setFullScreenWindow(selected ? frame : null);
-        frame.setVisible(true);
+        
+        // we cannot use hw-exclusive fullscreen mode in MS-Win, as long
+        // as josm throws out modal dialogs as well :-), see here:
+        // http://forums.sun.com/thread.jspa?threadID=5351882
+        //
+        // the good thing is: fullscreen works without exclusive mode,
+        // since windows (or java?) draws the undecorated window full-
+        // screen by default (it's a simulated mode, but should be ok)
+        String exclusive = Main.pref.get("draw.fullscreen.exclusive-mode", "auto");
+        if ("yes".equals(exclusive) || ("auto".equals(exclusive) && !(Main.platform instanceof PlatformHookWindows))) {
+            frame.dispose();
+            frame.setUndecorated(selected);
+            gd.setFullScreenWindow(selected ? frame : null);
+            frame.setVisible(true);
+        } else {
+            frame.dispose();
+            if (Main.pref.getBoolean("draw.fullscreen.set-screen-bounds", true)) {
+                Dimension dim = Toolkit.getDefaultToolkit().getScreenSize();
+                frame.setBounds(0, 0, dim.width, dim.height);
+            }
+            frame.setUndecorated(selected);
+            frame.setVisible(true);
+        }
     }