java.lang.Object
alice.util.jedit.TextAreaDefaults
alice.tucson.ide.RespectTextArea
- public class RespectTextArea
- extends alice.util.jedit.TextAreaDefaults
Fields inherited from class alice.util.jedit.TextAreaDefaults |
blockCaret, bracketHighlight, bracketHighlightColor, caretBlinks, caretColor, caretVisible, cols, document, editable, electricScroll, eolMarkerColor, eolMarkers, inputHandler, lineHighlight, lineHighlightColor, paintInvalid, popup, rows, selectionColor, styles |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
RespectTextArea
public RespectTextArea()
getSyntaxStyles
private alice.util.jedit.SyntaxStyle[] getSyntaxStyles()