java.lang.Object
java.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JMenuBar
de.uni_trier.wi2.procake.gui.objecteditor.nestworkfloweditor.editor.EditorMenuBar
All Implemented Interfaces:
ImageObserver, MenuContainer, Serializable, Accessible, MenuElement

public class EditorMenuBar extends JMenuBar
See Also:
  • Constructor Details

  • Method Details

    • populateShapeMenu

      public static void populateShapeMenu(JMenu menu, BasicGraphEditor editor)
      Adds menu items to the given shape menu. This is factored out because the shape menu appears in the menubar and also in the popupmenu.
    • populateFormatMenu

      public static void populateFormatMenu(JMenu menu, BasicGraphEditor editor)
      Adds menu items to the given format menu. This is factored out because the format menu appears in the menubar and also in the popupmenu.
    • populateFormatMenu

      public static void populateFormatMenu(JMenu menu, BasicGraphEditor editor, boolean enableEditSize)
    • getEditor

      public BasicGraphEditor getEditor()