view.setJMenuBar(null); view.getRootPane().revalidate();
view.setJMenuBar(GUIUtilities.loadMenuBar("view.mbar"));
view.getRootPane().revalidate();
| Attachment?: | Action: | Size: | Date: | Who: | Comment: |
|---|---|---|---|---|---|
| | action | 47651 | 27 Aug 2003 - 22:56 | Brad Mace |
| Topic GuiComponents . { Edit | Attach | Ref-By | Printable | Diffs | r1.8 | > | r1.7 | > | r1.6 | More } |
| Revision r1.8 - 23 Sep 2003 - 00:46 GMT - Brad Mace |
Copyright © 1999-2011 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |