Package | Description |
---|---|
de.uka.ilkd.key.gui.nodeviews |
Modifier and Type | Class and Description |
---|---|
class |
CurrentGoalViewMenu
The menu shown by a
CurrentGoalViewListener when the user clicks on a
CurrentGoalView . |
class |
InnerNodeViewMenu
The menu shown by a
InnerNodeViewListener
when the user clicks on an InnerNodeView . |
Copyright © 2003-2019 The KeY-Project.