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.
|