org.gecode.gist.swing.MenuBar Class Reference
List of all members.Detailed Description
Definition at line 32 of file MenuBar.java.
Constructor & Destructor Documentation
| org.gecode.gist.swing.MenuBar.MenuBar | ( | JFrame | frame, | |
| GistController | ctrl | |||
| ) |
Definition at line 334 of file MenuBar.java.
Member Function Documentation
| JPopupMenu org.gecode.gist.swing.MenuBar.getPopupMenu | ( | ) | [package] |
Definition at line 521 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.menuInspectActive | ( | boolean | active, | |
| boolean | isRoot, | |||
| boolean | isLeaf | |||
| ) |
Definition at line 526 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.menuSearchActive | ( | boolean | active | ) |
Definition at line 531 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.menuHideNodeActive | ( | boolean | active, | |
| boolean | hidden | |||
| ) |
Definition at line 536 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.menuUnhideAllActive | ( | boolean | active | ) |
Definition at line 539 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.menuHideFailedActive | ( | boolean | active | ) |
Definition at line 542 of file MenuBar.java.
| void org.gecode.gist.swing.MenuBar.updateEventListeners | ( | ) |
Definition at line 547 of file MenuBar.java.
Member Data Documentation
Action org.gecode.gist.swing.MenuBar.resetAction [protected] |
Definition at line 34 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.saveAsAction [protected] |
Definition at line 35 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.inspectAction [protected] |
Definition at line 36 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.inspectBranchesAction [protected] |
Definition at line 37 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.inspectBPAction [protected] |
Definition at line 38 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.searchAllAction [protected] |
Definition at line 39 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.searchOneAction [protected] |
Definition at line 40 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.searchNAction [protected] |
Definition at line 41 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.hideNodeAction [protected] |
Definition at line 42 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.hideFailedAction [protected] |
Definition at line 43 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.unhideAllAction [protected] |
Definition at line 44 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.scaleToFitAction [protected] |
Definition at line 45 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.navUpAction [protected] |
Definition at line 47 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.navDownAction [protected] |
Definition at line 48 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.navLeftAction [protected] |
Definition at line 49 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.navRightAction [protected] |
Definition at line 50 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.jumpNextSolAction [protected] |
Definition at line 52 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.jumpPrevSolAction [protected] |
Definition at line 53 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.jumpRootAction [protected] |
Definition at line 54 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.jumpLeftmostAction [protected] |
Definition at line 55 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.jumpRightmostAction [protected] |
Definition at line 56 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.centerCursorAction [protected] |
Definition at line 57 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.configAction [protected] |
Definition at line 59 of file MenuBar.java.
Action org.gecode.gist.swing.MenuBar.quitAction [protected] |
Definition at line 60 of file MenuBar.java.
ButtonGroup org.gecode.gist.swing.MenuBar.inspectionActionsGroup [protected] |
Definition at line 66 of file MenuBar.java.
JMenu org.gecode.gist.swing.MenuBar.actionsMenu [protected] |
Definition at line 67 of file MenuBar.java.
The documentation for this class was generated from the following file:
- org/gecode/gist/swing/MenuBar.java (Revision: 3796)
