Ticket #4033: fullscreen-toggle-action.patch

File fullscreen-toggle-action.patch, 7.3 KB (added by avarab@…, 12 years ago)

Turn "Fullscreen View" into JosmAction

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

     
     1// License: GPL. For details, see LICENSE file.
     2package org.openstreetmap.josm.actions;
     3
     4import static org.openstreetmap.josm.tools.I18n.tr;
     5
     6import java.awt.event.ActionEvent;
     7import java.awt.event.KeyEvent;
     8import java.util.ArrayList;
     9import java.util.List;
     10
     11import javax.swing.ButtonModel;
     12
     13/* For enabling fullscreen */
     14import java.awt.Frame;
     15import java.awt.GraphicsDevice;
     16import java.awt.GraphicsEnvironment;
     17import org.openstreetmap.josm.tools.PlatformHookUnixoid;
     18
     19import org.openstreetmap.josm.Main;
     20import org.openstreetmap.josm.tools.Shortcut;
     21
     22public class FullscreenToggleAction extends JosmAction {
     23    private final List<ButtonModel> buttonModels = new ArrayList<ButtonModel>();
     24    //FIXME: replace with property Action.SELECTED_KEY when migrating to
     25    // Java 6
     26    private boolean selected;
     27    private GraphicsDevice gd;
     28    public FullscreenToggleAction() {
     29        super(
     30                tr("Fullscreen View"),
     31                null, /* no icon */
     32                tr("Toggle fullscreen view"),
     33                Shortcut.registerShortcut("menu:view:fullscreen", tr("Toggle Fullscreen view"),KeyEvent.VK_F11, Shortcut.GROUP_DIRECT),
     34                true /* register shortcut */
     35        );
     36        gd = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice();
     37        selected = Main.pref.getBoolean("draw.fullscreen", false);
     38        notifySelectedState();
     39    }
     40
     41    public boolean canFullscreen() {
     42        /* We only support fullscreen, see
     43         * http://lists.openstreetmap.org/pipermail/josm-dev/2009-March/002659.html
     44         * for why
     45         */
     46        return Main.platform instanceof PlatformHookUnixoid && gd.isFullScreenSupported();
     47    }
     48         /*
     49            final JCheckBoxMenuItem fullscreen = new JCheckBoxMenuItem(tr("Full Screen"));
     50            fullscreen.setSelected(Main.pref.getBoolean("draw.fullscreen", false));
     51            fullscreen.setAccelerator(Shortcut.registerShortcut("menu:view:fullscreen", tr("Toggle Full Screen view"),
     52                    KeyEvent.VK_F11, Shortcut.GROUP_DIRECT).getKeyStroke());
     53
     54            fullscreen.addActionListener(new ActionListener() {
     55                public void actionPerformed(ActionEvent ev) {
     56                    Main.pref.put("draw.fullscreen", fullscreen.isSelected());
     57
     58                    if (Main.pref.getBoolean("draw.fullscreen")) {
     59                        Frame frame = (Frame)Main.parent;
     60                        gd.setFullScreenWindow(frame);
     61                    } else {
     62                        gd.setFullScreenWindow(null);
     63                    }
     64                }
     65            });
     66            viewMenu.addSeparator();
     67            viewMenu.add(fullscreen);
     68        }
     69        */
     70
     71    public void addButtonModel(ButtonModel model) {
     72        if (model != null && !buttonModels.contains(model)) {
     73            buttonModels.add(model);
     74        }
     75    }
     76
     77    public void removeButtonModel(ButtonModel model) {
     78        if (model != null && buttonModels.contains(model)) {
     79            buttonModels.remove(model);
     80        }
     81    }
     82
     83    protected void notifySelectedState() {
     84        for (ButtonModel model: buttonModels) {
     85            if (model.isSelected() != selected) {
     86                model.setSelected(selected);
     87            }
     88        }
     89    }
     90
     91    protected void toggleSelectedState() {
     92        selected = !selected;
     93        Main.pref.put("draw.fullscreen", selected);
     94        notifySelectedState();
     95
     96        if (selected) {
     97            Frame frame = (Frame)Main.parent;
     98            gd.setFullScreenWindow(frame);
     99        } else {
     100            gd.setFullScreenWindow(null);
     101        }
     102    }
     103
     104    public void actionPerformed(ActionEvent e) {
     105        toggleSelectedState();
     106    }
     107}
  • src/org/openstreetmap/josm/gui/MainMenu.java

     
    66import static org.openstreetmap.josm.tools.I18n.marktr;
    77import static org.openstreetmap.josm.tools.I18n.tr;
    88
    9 import java.awt.Frame;
    10 import java.awt.GraphicsDevice;
    11 import java.awt.GraphicsEnvironment;
    129import java.awt.event.ActionEvent;
    1310import java.awt.event.ActionListener;
    1411import java.awt.event.KeyEvent;
     
    6865import org.openstreetmap.josm.actions.UploadAction;
    6966import org.openstreetmap.josm.actions.UploadSelectionAction;
    7067import org.openstreetmap.josm.actions.WireframeToggleAction;
     68import org.openstreetmap.josm.actions.FullscreenToggleAction;
    7169import org.openstreetmap.josm.actions.ZoomInAction;
    7270import org.openstreetmap.josm.actions.ZoomOutAction;
    7371import org.openstreetmap.josm.actions.audio.AudioBackAction;
     
    8078import org.openstreetmap.josm.actions.search.SearchAction;
    8179import org.openstreetmap.josm.gui.layer.Layer;
    8280import org.openstreetmap.josm.gui.layer.Layer.LayerChangeListener;
    83 import org.openstreetmap.josm.tools.PlatformHookUnixoid;
    8481import org.openstreetmap.josm.tools.Shortcut;
    8582/**
    8683 * This is the JOSM main menu bar. It is overwritten to initialize itself and provide all menu
     
    253250            add(viewMenu, autoScaleAction);
    254251        }
    255252
    256         //
    257         // Full Screen action
    258         //
    259         final GraphicsDevice gd = GraphicsEnvironment.getLocalGraphicsEnvironment().getDefaultScreenDevice();
    260 
    261         if (Main.platform instanceof PlatformHookUnixoid && gd.isFullScreenSupported()) {
    262             final JCheckBoxMenuItem fullscreen = new JCheckBoxMenuItem(tr("Full Screen"));
    263             fullscreen.setSelected(Main.pref.getBoolean("draw.fullscreen", false));
    264             fullscreen.setAccelerator(Shortcut.registerShortcut("menu:view:fullscreen", tr("Toggle Full Screen view"),
    265                     KeyEvent.VK_F11, Shortcut.GROUP_DIRECT).getKeyStroke());
    266 
    267             fullscreen.addActionListener(new ActionListener() {
    268                 public void actionPerformed(ActionEvent ev) {
    269                     Main.pref.put("draw.fullscreen", fullscreen.isSelected());
    270 
    271                     if (Main.pref.getBoolean("draw.fullscreen")) {
    272                         Frame frame = (Frame)Main.parent;
    273                         gd.setFullScreenWindow(frame);
    274                     } else {
    275                         gd.setFullScreenWindow(null);
    276                     }
    277                 }
    278             });
     253        // -- fullscreen toggle action
     254        FullscreenToggleAction fullscreenToggleAction = new FullscreenToggleAction();
     255        if (fullscreenToggleAction.canFullscreen()) {
     256            final JCheckBoxMenuItem fullscreen = new JCheckBoxMenuItem(fullscreenToggleAction);
    279257            viewMenu.addSeparator();
    280258            viewMenu.add(fullscreen);
     259            fullscreen.setAccelerator(fullscreenToggleAction.getShortcut().getKeyStroke());
     260            fullscreenToggleAction.addButtonModel(fullscreen.getModel());
    281261        }
    282262
    283263        add(toolsMenu, splitWay);