| Interface | Description |
|---|---|
| CheckedUserInput.CheckedUserInputInspector | |
| CheckedUserInput.CheckedUserInputListener |
Used for observing the checked user input.
|
| ClickableMessageBox.ClickableMessageBoxListener |
| Class | Description |
|---|---|
| BracketMatchingTextArea |
The Class BracketMatchingTextArea provides a GUI TextArea component which
automatically highlights matching pairs of parentheses.
|
| BracketMatchingTextArea.BorderPainter |
The Class BorderPainter is a simple highlight painter that just draws a rectangle around the selection.
|
| CheckedUserInput |
This class offers a simple solution for receiving checked user input.
|
| ClickableMessageBox |
A simple textpane that supports lines that can be clicked by the users in order to trigger events.
|
| GuiUtilities | |
| InspectorForFormulas |
Inspects whether a given string can be translated into a formula.
|
| KeyStrokeManager |
Manages keyboard shortcuts for proof macros and GUI actions.
|
| StdDialog |
A dialog offering three buttons at the lower border: Help (optional), Okay and Cancel.
|
| TrafficLight |
A traffic light: It can be either green or red.
|
| WrapLayout |
FlowLayout subclass that fully supports wrapping of components.
|