Package | Description |
---|---|
de.uka.ilkd.key.gui |
This package contains classes forming the graphical user interface of KeY.
|
de.uka.ilkd.key.gui.extension.api | |
de.uka.ilkd.key.gui.prooftree |
Modifier and Type | Method and Description |
---|---|
ProofTreeView |
MainWindowTabbedPane.getProofTreeView()
Deprecated.
|
ProofTreeView |
MainWindow.getProofTreeView() |
Modifier and Type | Method and Description |
---|---|
protected java.util.Collection<javax.swing.Action> |
KeyboardShortcutAdapter.getShortcuts(KeYMediator mediator,
ProofTreeView component) |
Modifier and Type | Method and Description |
---|---|
javax.swing.JPopupMenu |
ProofTreePopupFactory.create(ProofTreeView view,
javax.swing.tree.TreePath selectedPath) |
static de.uka.ilkd.key.gui.prooftree.ProofTreePopupFactory.ProofTreeContext |
ProofTreePopupFactory.createContext(ProofTreeView view,
javax.swing.tree.TreePath selectedPath) |
Copyright © 2003-2019 The KeY-Project.