public class SpecificationTextArea
extends alice.util.jedit.TextAreaDefaults
blockCaret, bracketHighlight, bracketHighlightColor, caretBlinks, caretColor, caretVisible, cols, document, editable, electricScroll, eolMarkerColor, eolMarkers, inputHandler, lineHighlight, lineHighlightColor, paintInvalid, popup, rows, selectionColor, styles
Constructor and Description |
---|
SpecificationTextArea() |