jdk/src/share/classes/javax/swing/plaf/basic/BasicMenuUI.java
author peterz
Thu, 10 Sep 2009 12:30:55 +0400
changeset 3974 711cc3e0bd63
parent 1639 a97859015238
child 5506 202f599c92aa
permissions -rw-r--r--
6827786: Mnemonic cycling for multiple equal mnemonic armed menu items stops when encountering a submenu Reviewed-by: alexp
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     1
/*
1639
a97859015238 6785258: Update copyright year
xdono
parents: 1290
diff changeset
     2
 * Copyright 1997-2008 Sun Microsystems, Inc.  All Rights Reserved.
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
     3
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
90ce3da70b43 Initial load
duke
parents:
diff changeset
     4
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
     5
 * This code is free software; you can redistribute it and/or modify it
90ce3da70b43 Initial load
duke
parents:
diff changeset
     6
 * under the terms of the GNU General Public License version 2 only, as
90ce3da70b43 Initial load
duke
parents:
diff changeset
     7
 * published by the Free Software Foundation.  Sun designates this
90ce3da70b43 Initial load
duke
parents:
diff changeset
     8
 * particular file as subject to the "Classpath" exception as provided
90ce3da70b43 Initial load
duke
parents:
diff changeset
     9
 * by Sun in the LICENSE file that accompanied this code.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    10
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    11
 * This code is distributed in the hope that it will be useful, but WITHOUT
90ce3da70b43 Initial load
duke
parents:
diff changeset
    12
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    13
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
90ce3da70b43 Initial load
duke
parents:
diff changeset
    14
 * version 2 for more details (a copy is included in the LICENSE file that
90ce3da70b43 Initial load
duke
parents:
diff changeset
    15
 * accompanied this code).
90ce3da70b43 Initial load
duke
parents:
diff changeset
    16
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    17
 * You should have received a copy of the GNU General Public License version
90ce3da70b43 Initial load
duke
parents:
diff changeset
    18
 * 2 along with this work; if not, write to the Free Software Foundation,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    19
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    20
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    21
 * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
90ce3da70b43 Initial load
duke
parents:
diff changeset
    22
 * CA 95054 USA or visit www.sun.com if you need additional information or
90ce3da70b43 Initial load
duke
parents:
diff changeset
    23
 * have any questions.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    24
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    25
90ce3da70b43 Initial load
duke
parents:
diff changeset
    26
package javax.swing.plaf.basic;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    27
90ce3da70b43 Initial load
duke
parents:
diff changeset
    28
import sun.swing.DefaultLookup;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    29
import sun.swing.UIAction;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    30
import java.awt.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    31
import java.awt.event.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    32
import java.beans.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    33
import javax.swing.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    34
import javax.swing.event.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    35
import javax.swing.plaf.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    36
import javax.swing.border.*;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    37
import java.util.Arrays;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    38
import java.util.ArrayList;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    39
90ce3da70b43 Initial load
duke
parents:
diff changeset
    40
90ce3da70b43 Initial load
duke
parents:
diff changeset
    41
/**
90ce3da70b43 Initial load
duke
parents:
diff changeset
    42
 * A default L&F implementation of MenuUI.  This implementation
90ce3da70b43 Initial load
duke
parents:
diff changeset
    43
 * is a "combined" view/controller.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    44
 *
90ce3da70b43 Initial load
duke
parents:
diff changeset
    45
 * @author Georges Saab
90ce3da70b43 Initial load
duke
parents:
diff changeset
    46
 * @author David Karlton
90ce3da70b43 Initial load
duke
parents:
diff changeset
    47
 * @author Arnaud Weber
90ce3da70b43 Initial load
duke
parents:
diff changeset
    48
 */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    49
public class BasicMenuUI extends BasicMenuItemUI
90ce3da70b43 Initial load
duke
parents:
diff changeset
    50
{
90ce3da70b43 Initial load
duke
parents:
diff changeset
    51
    protected ChangeListener         changeListener;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    52
    protected MenuListener           menuListener;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    53
90ce3da70b43 Initial load
duke
parents:
diff changeset
    54
    private int lastMnemonic = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    55
90ce3da70b43 Initial load
duke
parents:
diff changeset
    56
    /** Uses as the parent of the windowInputMap when selected. */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    57
    private InputMap selectedWindowInputMap;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    58
90ce3da70b43 Initial load
duke
parents:
diff changeset
    59
    /* diagnostic aids -- should be false for production builds. */
90ce3da70b43 Initial load
duke
parents:
diff changeset
    60
    private static final boolean TRACE =   false; // trace creates and disposes
90ce3da70b43 Initial load
duke
parents:
diff changeset
    61
    private static final boolean VERBOSE = false; // show reuse hits/misses
90ce3da70b43 Initial load
duke
parents:
diff changeset
    62
    private static final boolean DEBUG =   false;  // show bad params, misc.
90ce3da70b43 Initial load
duke
parents:
diff changeset
    63
90ce3da70b43 Initial load
duke
parents:
diff changeset
    64
    private static boolean crossMenuMnemonic = true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
    65
90ce3da70b43 Initial load
duke
parents:
diff changeset
    66
    public static ComponentUI createUI(JComponent x) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    67
        return new BasicMenuUI();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    68
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    69
90ce3da70b43 Initial load
duke
parents:
diff changeset
    70
    static void loadActionMap(LazyActionMap map) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    71
        BasicMenuItemUI.loadActionMap(map);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    72
        map.put(new Actions(Actions.SELECT, null, true));
90ce3da70b43 Initial load
duke
parents:
diff changeset
    73
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    74
90ce3da70b43 Initial load
duke
parents:
diff changeset
    75
90ce3da70b43 Initial load
duke
parents:
diff changeset
    76
    protected void installDefaults() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    77
        super.installDefaults();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    78
        updateDefaultBackgroundColor();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    79
        ((JMenu)menuItem).setDelay(200);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    80
        crossMenuMnemonic = UIManager.getBoolean("Menu.crossMenuMnemonic");
90ce3da70b43 Initial load
duke
parents:
diff changeset
    81
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    82
90ce3da70b43 Initial load
duke
parents:
diff changeset
    83
    protected String getPropertyPrefix() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    84
        return "Menu";
90ce3da70b43 Initial load
duke
parents:
diff changeset
    85
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
    86
90ce3da70b43 Initial load
duke
parents:
diff changeset
    87
    protected void installListeners() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
    88
        super.installListeners();
90ce3da70b43 Initial load
duke
parents:
diff changeset
    89
90ce3da70b43 Initial load
duke
parents:
diff changeset
    90
        if (changeListener == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    91
            changeListener = createChangeListener(menuItem);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    92
90ce3da70b43 Initial load
duke
parents:
diff changeset
    93
        if (changeListener != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    94
            menuItem.addChangeListener(changeListener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    95
90ce3da70b43 Initial load
duke
parents:
diff changeset
    96
        if (menuListener == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
    97
            menuListener = createMenuListener(menuItem);
90ce3da70b43 Initial load
duke
parents:
diff changeset
    98
90ce3da70b43 Initial load
duke
parents:
diff changeset
    99
        if (menuListener != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   100
            ((JMenu)menuItem).addMenuListener(menuListener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   101
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   102
90ce3da70b43 Initial load
duke
parents:
diff changeset
   103
    protected void installKeyboardActions() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   104
        super.installKeyboardActions();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   105
        updateMnemonicBinding();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   106
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   107
90ce3da70b43 Initial load
duke
parents:
diff changeset
   108
    void installLazyActionMap() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   109
        LazyActionMap.installLazyActionMap(menuItem, BasicMenuUI.class,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   110
                                           getPropertyPrefix() + ".actionMap");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   111
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   112
90ce3da70b43 Initial load
duke
parents:
diff changeset
   113
    void updateMnemonicBinding() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   114
        int mnemonic = menuItem.getModel().getMnemonic();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   115
        int[] shortcutKeys = (int[])DefaultLookup.get(menuItem, this,
90ce3da70b43 Initial load
duke
parents:
diff changeset
   116
                                                   "Menu.shortcutKeys");
90ce3da70b43 Initial load
duke
parents:
diff changeset
   117
        if (shortcutKeys == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   118
            shortcutKeys = new int[] {KeyEvent.ALT_MASK};
90ce3da70b43 Initial load
duke
parents:
diff changeset
   119
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   120
        if (mnemonic == lastMnemonic) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   121
            return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   122
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   123
        InputMap windowInputMap = SwingUtilities.getUIInputMap(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   124
                       menuItem, JComponent.WHEN_IN_FOCUSED_WINDOW);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   125
        if (lastMnemonic != 0 && windowInputMap != null) {
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   126
            for (int shortcutKey : shortcutKeys) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   127
                windowInputMap.remove(KeyStroke.getKeyStroke
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   128
                        (lastMnemonic, shortcutKey, false));
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   129
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   130
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   131
        if (mnemonic != 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   132
            if (windowInputMap == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   133
                windowInputMap = createInputMap(JComponent.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   134
                                              WHEN_IN_FOCUSED_WINDOW);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   135
                SwingUtilities.replaceUIInputMap(menuItem, JComponent.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   136
                                       WHEN_IN_FOCUSED_WINDOW, windowInputMap);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   137
            }
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   138
            for (int shortcutKey : shortcutKeys) {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   139
                windowInputMap.put(KeyStroke.getKeyStroke(mnemonic,
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   140
                        shortcutKey, false), "selectMenu");
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   141
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   142
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   143
        lastMnemonic = mnemonic;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   144
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   145
90ce3da70b43 Initial load
duke
parents:
diff changeset
   146
    protected void uninstallKeyboardActions() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   147
        super.uninstallKeyboardActions();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   148
        lastMnemonic = 0;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   149
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   150
90ce3da70b43 Initial load
duke
parents:
diff changeset
   151
    protected MouseInputListener createMouseInputListener(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   152
        return getHandler();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   153
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   154
90ce3da70b43 Initial load
duke
parents:
diff changeset
   155
    protected MenuListener createMenuListener(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   156
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   157
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   158
90ce3da70b43 Initial load
duke
parents:
diff changeset
   159
    protected ChangeListener createChangeListener(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   160
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   161
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   162
90ce3da70b43 Initial load
duke
parents:
diff changeset
   163
    protected PropertyChangeListener createPropertyChangeListener(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   164
        return getHandler();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   165
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   166
90ce3da70b43 Initial load
duke
parents:
diff changeset
   167
    BasicMenuItemUI.Handler getHandler() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   168
        if (handler == null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   169
            handler = new Handler();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   170
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   171
        return handler;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   172
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   173
90ce3da70b43 Initial load
duke
parents:
diff changeset
   174
    protected void uninstallDefaults() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   175
        menuItem.setArmed(false);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   176
        menuItem.setSelected(false);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   177
        menuItem.resetKeyboardActions();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   178
        super.uninstallDefaults();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   179
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   180
90ce3da70b43 Initial load
duke
parents:
diff changeset
   181
    protected void uninstallListeners() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   182
        super.uninstallListeners();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   183
90ce3da70b43 Initial load
duke
parents:
diff changeset
   184
        if (changeListener != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   185
            menuItem.removeChangeListener(changeListener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   186
90ce3da70b43 Initial load
duke
parents:
diff changeset
   187
        if (menuListener != null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   188
            ((JMenu)menuItem).removeMenuListener(menuListener);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   189
90ce3da70b43 Initial load
duke
parents:
diff changeset
   190
        changeListener = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   191
        menuListener = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   192
        handler = null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   193
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   194
90ce3da70b43 Initial load
duke
parents:
diff changeset
   195
    protected MenuDragMouseListener createMenuDragMouseListener(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   196
        return getHandler();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   197
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   198
90ce3da70b43 Initial load
duke
parents:
diff changeset
   199
    public Dimension getMaximumSize(JComponent c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   200
        if (((JMenu)menuItem).isTopLevelMenu() == true) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   201
            Dimension d = c.getPreferredSize();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   202
            return new Dimension(d.width, Short.MAX_VALUE);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   203
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   204
        return null;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   205
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   206
90ce3da70b43 Initial load
duke
parents:
diff changeset
   207
    protected void setupPostTimer(JMenu menu) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   208
        Timer timer = new Timer(menu.getDelay(), new Actions(
90ce3da70b43 Initial load
duke
parents:
diff changeset
   209
                                    Actions.SELECT, menu,false));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   210
        timer.setRepeats(false);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   211
        timer.start();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   212
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   213
90ce3da70b43 Initial load
duke
parents:
diff changeset
   214
    private static void appendPath(MenuElement[] path, MenuElement elem) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   215
        MenuElement newPath[] = new MenuElement[path.length+1];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   216
        System.arraycopy(path, 0, newPath, 0, path.length);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   217
        newPath[path.length] = elem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   218
        MenuSelectionManager.defaultManager().setSelectedPath(newPath);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   219
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   220
90ce3da70b43 Initial load
duke
parents:
diff changeset
   221
    private static class Actions extends UIAction {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   222
        private static final String SELECT = "selectMenu";
90ce3da70b43 Initial load
duke
parents:
diff changeset
   223
90ce3da70b43 Initial load
duke
parents:
diff changeset
   224
        // NOTE: This will be null if the action is registered in the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   225
        // ActionMap. For the timer use it will be non-null.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   226
        private JMenu menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   227
        private boolean force=false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   228
90ce3da70b43 Initial load
duke
parents:
diff changeset
   229
        Actions(String key, JMenu menu, boolean shouldForce) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   230
            super(key);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   231
            this.menu = menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   232
            this.force = shouldForce;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   233
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   234
90ce3da70b43 Initial load
duke
parents:
diff changeset
   235
        private JMenu getMenu(ActionEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   236
            if (e.getSource() instanceof JMenu) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   237
                return (JMenu)e.getSource();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   238
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   239
            return menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   240
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   241
90ce3da70b43 Initial load
duke
parents:
diff changeset
   242
        public void actionPerformed(ActionEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   243
            JMenu menu = getMenu(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   244
            if (!crossMenuMnemonic) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   245
                JPopupMenu pm = BasicPopupMenuUI.getLastPopup();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   246
                if (pm != null && pm != menu.getParent()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   247
                    return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   248
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   249
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   250
90ce3da70b43 Initial load
duke
parents:
diff changeset
   251
            final MenuSelectionManager defaultManager = MenuSelectionManager.defaultManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   252
            if(force) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   253
                Container cnt = menu.getParent();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   254
                if(cnt != null && cnt instanceof JMenuBar) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   255
                    MenuElement me[];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   256
                    MenuElement subElements[];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   257
90ce3da70b43 Initial load
duke
parents:
diff changeset
   258
                    subElements = menu.getPopupMenu().getSubElements();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   259
                    if(subElements.length > 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   260
                        me = new MenuElement[4];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   261
                        me[0] = (MenuElement) cnt;
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   262
                        me[1] = menu;
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   263
                        me[2] = menu.getPopupMenu();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   264
                        me[3] = subElements[0];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   265
                    } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   266
                        me = new MenuElement[3];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   267
                        me[0] = (MenuElement)cnt;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   268
                        me[1] = menu;
1290
da8902cd496c 6727661: Code improvement and warnings removing from the swing/plaf packages
rupashka
parents: 2
diff changeset
   269
                        me[2] = menu.getPopupMenu();
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   270
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   271
                    defaultManager.setSelectedPath(me);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   272
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   273
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   274
                MenuElement path[] = defaultManager.getSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   275
                if(path.length > 0 && path[path.length-1] == menu) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   276
                    appendPath(path, menu.getPopupMenu());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   277
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   278
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   279
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   280
90ce3da70b43 Initial load
duke
parents:
diff changeset
   281
        public boolean isEnabled(Object c) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   282
            if (c instanceof JMenu) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   283
                return ((JMenu)c).isEnabled();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   284
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   285
            return true;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   286
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   287
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   288
90ce3da70b43 Initial load
duke
parents:
diff changeset
   289
    /*
90ce3da70b43 Initial load
duke
parents:
diff changeset
   290
     * Set the background color depending on whether this is a toplevel menu
90ce3da70b43 Initial load
duke
parents:
diff changeset
   291
     * in a menubar or a submenu of another menu.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   292
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   293
    private void updateDefaultBackgroundColor() {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   294
        if (!UIManager.getBoolean("Menu.useMenuBarBackgroundForTopLevel")) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   295
           return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   296
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   297
        JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   298
        if (menu.getBackground() instanceof UIResource) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   299
            if (menu.isTopLevelMenu()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   300
                menu.setBackground(UIManager.getColor("MenuBar.background"));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   301
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   302
                menu.setBackground(UIManager.getColor(getPropertyPrefix() + ".background"));
90ce3da70b43 Initial load
duke
parents:
diff changeset
   303
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   304
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   305
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   306
90ce3da70b43 Initial load
duke
parents:
diff changeset
   307
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   308
     * Instantiated and used by a menu item to handle the current menu selection
90ce3da70b43 Initial load
duke
parents:
diff changeset
   309
     * from mouse events. A MouseInputHandler processes and forwards all mouse events
90ce3da70b43 Initial load
duke
parents:
diff changeset
   310
     * to a shared instance of the MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   311
     * <p>
90ce3da70b43 Initial load
duke
parents:
diff changeset
   312
     * This class is protected so that it can be subclassed by other look and
90ce3da70b43 Initial load
duke
parents:
diff changeset
   313
     * feels to implement their own mouse handling behavior. All overridden
90ce3da70b43 Initial load
duke
parents:
diff changeset
   314
     * methods should call the parent methods so that the menu selection
90ce3da70b43 Initial load
duke
parents:
diff changeset
   315
     * is correct.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   316
     *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   317
     * @see javax.swing.MenuSelectionManager
90ce3da70b43 Initial load
duke
parents:
diff changeset
   318
     * @since 1.4
90ce3da70b43 Initial load
duke
parents:
diff changeset
   319
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   320
    protected class MouseInputHandler implements MouseInputListener {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   321
        // NOTE: This class exists only for backward compatability. All
90ce3da70b43 Initial load
duke
parents:
diff changeset
   322
        // its functionality has been moved into Handler. If you need to add
90ce3da70b43 Initial load
duke
parents:
diff changeset
   323
        // new functionality add it to the Handler, but make sure this
90ce3da70b43 Initial load
duke
parents:
diff changeset
   324
        // class calls into the Handler.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   325
90ce3da70b43 Initial load
duke
parents:
diff changeset
   326
        public void mouseClicked(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   327
            getHandler().mouseClicked(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   328
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   329
90ce3da70b43 Initial load
duke
parents:
diff changeset
   330
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   331
         * Invoked when the mouse has been clicked on the menu. This
90ce3da70b43 Initial load
duke
parents:
diff changeset
   332
         * method clears or sets the selection path of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   333
         * MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   334
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   335
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   336
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   337
        public void mousePressed(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   338
            getHandler().mousePressed(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   339
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   340
90ce3da70b43 Initial load
duke
parents:
diff changeset
   341
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   342
         * Invoked when the mouse has been released on the menu. Delegates the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   343
         * mouse event to the MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   344
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   345
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   346
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   347
        public void mouseReleased(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   348
            getHandler().mouseReleased(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   349
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   350
90ce3da70b43 Initial load
duke
parents:
diff changeset
   351
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   352
         * Invoked when the cursor enters the menu. This method sets the selected
90ce3da70b43 Initial load
duke
parents:
diff changeset
   353
         * path for the MenuSelectionManager and handles the case
90ce3da70b43 Initial load
duke
parents:
diff changeset
   354
         * in which a menu item is used to pop up an additional menu, as in a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   355
         * hierarchical menu system.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   356
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   357
         * @param e the mouse event; not used
90ce3da70b43 Initial load
duke
parents:
diff changeset
   358
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   359
        public void mouseEntered(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   360
            getHandler().mouseEntered(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   361
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   362
        public void mouseExited(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   363
            getHandler().mouseExited(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   364
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   365
90ce3da70b43 Initial load
duke
parents:
diff changeset
   366
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   367
         * Invoked when a mouse button is pressed on the menu and then dragged.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   368
         * Delegates the mouse event to the MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   369
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   370
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   371
         * @see java.awt.event.MouseMotionListener#mouseDragged
90ce3da70b43 Initial load
duke
parents:
diff changeset
   372
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   373
        public void mouseDragged(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   374
            getHandler().mouseDragged(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   375
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   376
90ce3da70b43 Initial load
duke
parents:
diff changeset
   377
        public void mouseMoved(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   378
            getHandler().mouseMoved(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   379
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   380
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   381
90ce3da70b43 Initial load
duke
parents:
diff changeset
   382
    /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   383
     * As of Java 2 platform 1.4, this previously undocumented class
90ce3da70b43 Initial load
duke
parents:
diff changeset
   384
     * is now obsolete. KeyBindings are now managed by the popup menu.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   385
     */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   386
    public class ChangeHandler implements ChangeListener {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   387
        public JMenu    menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   388
        public BasicMenuUI ui;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   389
        public boolean  isSelected = false;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   390
        public Component wasFocused;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   391
90ce3da70b43 Initial load
duke
parents:
diff changeset
   392
        public ChangeHandler(JMenu m, BasicMenuUI ui) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   393
            menu = m;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   394
            this.ui = ui;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   395
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   396
90ce3da70b43 Initial load
duke
parents:
diff changeset
   397
        public void stateChanged(ChangeEvent e) { }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   398
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   399
3974
711cc3e0bd63 6827786: Mnemonic cycling for multiple equal mnemonic armed menu items stops when encountering a submenu
peterz
parents: 1639
diff changeset
   400
    private class Handler extends BasicMenuItemUI.Handler {
2
90ce3da70b43 Initial load
duke
parents:
diff changeset
   401
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   402
        // PropertyChangeListener
90ce3da70b43 Initial load
duke
parents:
diff changeset
   403
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   404
        public void propertyChange(PropertyChangeEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   405
            if (e.getPropertyName() == AbstractButton.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   406
                             MNEMONIC_CHANGED_PROPERTY) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   407
                updateMnemonicBinding();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   408
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   409
            else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   410
                if (e.getPropertyName().equals("ancestor")) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   411
                    updateDefaultBackgroundColor();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   412
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   413
                super.propertyChange(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   414
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   415
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   416
90ce3da70b43 Initial load
duke
parents:
diff changeset
   417
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   418
        // MouseInputListener
90ce3da70b43 Initial load
duke
parents:
diff changeset
   419
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   420
        public void mouseClicked(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   421
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   422
90ce3da70b43 Initial load
duke
parents:
diff changeset
   423
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   424
         * Invoked when the mouse has been clicked on the menu. This
90ce3da70b43 Initial load
duke
parents:
diff changeset
   425
         * method clears or sets the selection path of the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   426
         * MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   427
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   428
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   429
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   430
        public void mousePressed(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   431
            JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   432
            if (!menu.isEnabled())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   433
                return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   434
90ce3da70b43 Initial load
duke
parents:
diff changeset
   435
            MenuSelectionManager manager =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   436
                MenuSelectionManager.defaultManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   437
            if(menu.isTopLevelMenu()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   438
                if(menu.isSelected() && menu.getPopupMenu().isShowing()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   439
                    manager.clearSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   440
                } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   441
                    Container cnt = menu.getParent();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   442
                    if(cnt != null && cnt instanceof JMenuBar) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   443
                        MenuElement me[] = new MenuElement[2];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   444
                        me[0]=(MenuElement)cnt;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   445
                        me[1]=menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   446
                        manager.setSelectedPath(me);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   447
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   448
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   449
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   450
90ce3da70b43 Initial load
duke
parents:
diff changeset
   451
            MenuElement selectedPath[] = manager.getSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   452
            if (selectedPath.length > 0 &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   453
                selectedPath[selectedPath.length-1] != menu.getPopupMenu()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   454
90ce3da70b43 Initial load
duke
parents:
diff changeset
   455
                if(menu.isTopLevelMenu() ||
90ce3da70b43 Initial load
duke
parents:
diff changeset
   456
                   menu.getDelay() == 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   457
                    appendPath(selectedPath, menu.getPopupMenu());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   458
                } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   459
                    setupPostTimer(menu);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   460
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   461
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   462
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   463
90ce3da70b43 Initial load
duke
parents:
diff changeset
   464
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   465
         * Invoked when the mouse has been released on the menu. Delegates the
90ce3da70b43 Initial load
duke
parents:
diff changeset
   466
         * mouse event to the MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   467
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   468
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   469
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   470
        public void mouseReleased(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   471
            JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   472
            if (!menu.isEnabled())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   473
                return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   474
            MenuSelectionManager manager =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   475
                MenuSelectionManager.defaultManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   476
            manager.processMouseEvent(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   477
            if (!e.isConsumed())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   478
                manager.clearSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   479
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   480
90ce3da70b43 Initial load
duke
parents:
diff changeset
   481
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   482
         * Invoked when the cursor enters the menu. This method sets the selected
90ce3da70b43 Initial load
duke
parents:
diff changeset
   483
         * path for the MenuSelectionManager and handles the case
90ce3da70b43 Initial load
duke
parents:
diff changeset
   484
         * in which a menu item is used to pop up an additional menu, as in a
90ce3da70b43 Initial load
duke
parents:
diff changeset
   485
         * hierarchical menu system.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   486
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   487
         * @param e the mouse event; not used
90ce3da70b43 Initial load
duke
parents:
diff changeset
   488
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   489
        public void mouseEntered(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   490
            JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   491
            // only disable the menu highlighting if it's disabled and the property isn't
90ce3da70b43 Initial load
duke
parents:
diff changeset
   492
            // true. This allows disabled rollovers to work in WinL&F
90ce3da70b43 Initial load
duke
parents:
diff changeset
   493
            if (!menu.isEnabled() && !UIManager.getBoolean("MenuItem.disabledAreNavigable")) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   494
                return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   495
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   496
90ce3da70b43 Initial load
duke
parents:
diff changeset
   497
            MenuSelectionManager manager =
90ce3da70b43 Initial load
duke
parents:
diff changeset
   498
                MenuSelectionManager.defaultManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   499
            MenuElement selectedPath[] = manager.getSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   500
            if (!menu.isTopLevelMenu()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   501
                if(!(selectedPath.length > 0 &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   502
                     selectedPath[selectedPath.length-1] ==
90ce3da70b43 Initial load
duke
parents:
diff changeset
   503
                     menu.getPopupMenu())) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   504
                    if(menu.getDelay() == 0) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   505
                        appendPath(getPath(), menu.getPopupMenu());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   506
                    } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   507
                        manager.setSelectedPath(getPath());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   508
                        setupPostTimer(menu);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   509
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   510
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   511
            } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   512
                if(selectedPath.length > 0 &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   513
                   selectedPath[0] == menu.getParent()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   514
                    MenuElement newPath[] = new MenuElement[3];
90ce3da70b43 Initial load
duke
parents:
diff changeset
   515
                    // A top level menu's parent is by definition
90ce3da70b43 Initial load
duke
parents:
diff changeset
   516
                    // a JMenuBar
90ce3da70b43 Initial load
duke
parents:
diff changeset
   517
                    newPath[0] = (MenuElement)menu.getParent();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   518
                    newPath[1] = menu;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   519
                    if (BasicPopupMenuUI.getLastPopup() != null) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   520
                        newPath[2] = menu.getPopupMenu();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   521
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   522
                    manager.setSelectedPath(newPath);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   523
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   524
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   525
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   526
        public void mouseExited(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   527
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   528
90ce3da70b43 Initial load
duke
parents:
diff changeset
   529
        /**
90ce3da70b43 Initial load
duke
parents:
diff changeset
   530
         * Invoked when a mouse button is pressed on the menu and then dragged.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   531
         * Delegates the mouse event to the MenuSelectionManager.
90ce3da70b43 Initial load
duke
parents:
diff changeset
   532
         *
90ce3da70b43 Initial load
duke
parents:
diff changeset
   533
         * @param e the mouse event
90ce3da70b43 Initial load
duke
parents:
diff changeset
   534
         * @see java.awt.event.MouseMotionListener#mouseDragged
90ce3da70b43 Initial load
duke
parents:
diff changeset
   535
         */
90ce3da70b43 Initial load
duke
parents:
diff changeset
   536
        public void mouseDragged(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   537
            JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   538
            if (!menu.isEnabled())
90ce3da70b43 Initial load
duke
parents:
diff changeset
   539
                return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   540
            MenuSelectionManager.defaultManager().processMouseEvent(e);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   541
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   542
        public void mouseMoved(MouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   543
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   544
90ce3da70b43 Initial load
duke
parents:
diff changeset
   545
90ce3da70b43 Initial load
duke
parents:
diff changeset
   546
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   547
        // MenuDragHandler
90ce3da70b43 Initial load
duke
parents:
diff changeset
   548
        //
90ce3da70b43 Initial load
duke
parents:
diff changeset
   549
        public void menuDragMouseEntered(MenuDragMouseEvent e) {}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   550
        public void menuDragMouseDragged(MenuDragMouseEvent e) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   551
            if (menuItem.isEnabled() == false)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   552
                return;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   553
90ce3da70b43 Initial load
duke
parents:
diff changeset
   554
            MenuSelectionManager manager = e.getMenuSelectionManager();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   555
            MenuElement path[] = e.getPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   556
90ce3da70b43 Initial load
duke
parents:
diff changeset
   557
            Point p = e.getPoint();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   558
            if(p.x >= 0 && p.x < menuItem.getWidth() &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   559
               p.y >= 0 && p.y < menuItem.getHeight()) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   560
                JMenu menu = (JMenu)menuItem;
90ce3da70b43 Initial load
duke
parents:
diff changeset
   561
                MenuElement selectedPath[] = manager.getSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   562
                if(!(selectedPath.length > 0 &&
90ce3da70b43 Initial load
duke
parents:
diff changeset
   563
                     selectedPath[selectedPath.length-1] ==
90ce3da70b43 Initial load
duke
parents:
diff changeset
   564
                     menu.getPopupMenu())) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   565
                    if(menu.isTopLevelMenu() ||
90ce3da70b43 Initial load
duke
parents:
diff changeset
   566
                       menu.getDelay() == 0  ||
90ce3da70b43 Initial load
duke
parents:
diff changeset
   567
                       e.getID() == MouseEvent.MOUSE_DRAGGED) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   568
                        appendPath(path, menu.getPopupMenu());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   569
                    } else {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   570
                        manager.setSelectedPath(path);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   571
                        setupPostTimer(menu);
90ce3da70b43 Initial load
duke
parents:
diff changeset
   572
                    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   573
                }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   574
            } else if(e.getID() == MouseEvent.MOUSE_RELEASED) {
90ce3da70b43 Initial load
duke
parents:
diff changeset
   575
                Component comp = manager.componentForPoint(e.getComponent(), e.getPoint());
90ce3da70b43 Initial load
duke
parents:
diff changeset
   576
                if (comp == null)
90ce3da70b43 Initial load
duke
parents:
diff changeset
   577
                    manager.clearSelectedPath();
90ce3da70b43 Initial load
duke
parents:
diff changeset
   578
            }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   579
90ce3da70b43 Initial load
duke
parents:
diff changeset
   580
        }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   581
        public void menuDragMouseExited(MenuDragMouseEvent e) {}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   582
        public void menuDragMouseReleased(MenuDragMouseEvent e) {}
90ce3da70b43 Initial load
duke
parents:
diff changeset
   583
    }
90ce3da70b43 Initial load
duke
parents:
diff changeset
   584
}