Prev Package | Next Package | Frames | No Frames |
Class Summary | |
AbstractGraphListElementAction | Abstract implementation for GraphListElement actions. |
DeleteConjectureHistoryAction | Action to delete the conjecture history. |
GraphListElementPopupMenu | |
InvalidateGraphBundleCacheAction | Action which can be used to invalidate the cache of the graphbundle in a graph list element. |
RenameGraphListElementAction | Action which can be used to rename a certain graph list element. |
SaveConjectureHistoryAction | Action to save the conjecture history to file. |
ShowGraphPropertiesAction | Actions which shows the graph properties window of a certain graph list element. |