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.
|
ClosableTabComponent |
Tab component for
JTabbedPane with a close button. |
GuiUtilities | |
InspectorForFormulas |
Inspects whether a given string can be translated into a formula.
|
SquigglyUnderlinePainter |
A highlight painter for drawing a squiggly line under the selection.
|
StdDialog |
A dialog offering three buttons at the lower border: Help (optional), Okay and Cancel.
|
WrapLayout |
FlowLayout subclass that fully supports wrapping of components.
|
Copyright © 2003-2019 The KeY-Project.