Class | Description |
---|---|
InfoDialog | |
LemmaSelectionDialog |
The core of the Selection-Dialog is the class SelectionPanel which extends JPanel.
|
LemmataAutoModeOptions | |
LemmataHandler | |
LoadUserTacletsDialog |
Enum | Description |
---|---|
LoadUserTacletsDialog.Mode |
this dialog can be in one of two modes (started from different actions)
|
Copyright © 2003-2019 The KeY-Project.