Ticket #5463: FullscreenToggleAction.java.patch
| File FullscreenToggleAction.java.patch, 1.5 KB (added by , 15 years ago) |
|---|
-
src/org/openstreetmap/josm/actions/FullscreenToggleAction.java
3 3 4 4 import static org.openstreetmap.josm.tools.I18n.tr; 5 5 6 import java.awt.Frame; 7 import java.awt.GraphicsDevice; 8 import java.awt.GraphicsEnvironment; 6 9 import java.awt.event.ActionEvent; 7 10 import java.awt.event.KeyEvent; 8 11 import java.util.ArrayList; … … 10 13 11 14 import javax.swing.ButtonModel; 12 15 13 /* For enabling fullscreen */14 import java.awt.Frame;15 import java.awt.GraphicsDevice;16 import java.awt.GraphicsEnvironment;17 import org.openstreetmap.josm.tools.PlatformHookUnixoid;18 19 16 import org.openstreetmap.josm.Main; 17 import org.openstreetmap.josm.tools.PlatformHookUnixoid; 20 18 import org.openstreetmap.josm.tools.Shortcut; 21 19 22 20 public class FullscreenToggleAction extends JosmAction { … … 71 69 Main.pref.put("draw.fullscreen", selected); 72 70 notifySelectedState(); 73 71 74 if (selected) { 75 Frame frame = (Frame)Main.parent; 76 gd.setFullScreenWindow(frame); 77 } else { 78 gd.setFullScreenWindow(null); 79 } 72 Frame frame = (Frame)Main.parent; 73 frame.dispose(); 74 frame.setUndecorated(selected); 75 gd.setFullScreenWindow(selected ? frame : null); 76 frame.setVisible(true); 80 77 } 81 78 82 79 public void actionPerformed(ActionEvent e) {
