Changeset 8731


Ignore:
Timestamp:
03/06/05 20:42:31 (16 years ago)
Author:
piso
Message:

Minor cleanup.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/j/src/org/armedbear/j/Menu.java

    r8287 r8731  
    22 * Menu.java
    33 *
    4  * Copyright (C) 1998-2004 Peter Graves
    5  * $Id: Menu.java,v 1.7 2004-12-24 19:16:52 piso Exp $
     4 * Copyright (C) 1998-2005 Peter Graves
     5 * $Id: Menu.java,v 1.8 2005-03-06 20:42:31 piso Exp $
    66 *
    77 * This program is free software; you can redistribute it and/or
     
    2323
    2424import javax.swing.JMenu;
    25 import javax.swing.KeyStroke;
    2625
    2726public final class Menu extends JMenu implements Constants
     
    4241    public void setPopupMenuVisible(boolean b)
    4342    {
    44 //         Log.debug("setPopupMenuVisible " + b);
    4543        super.setPopupMenuVisible(b);
    46 //         if (b) {
    47 //             final Editor editor = Editor.currentEditor();
    48 //             editor.getMode().populateMenu(editor, this);
    49 //         }
    50 //         super.setPopupMenuVisible(b);
    51 //         if (!b)
    52 //             removeAll();
    5344    }
    5445
Note: See TracChangeset for help on using the changeset viewer.