934 |
return getUI().getEditorKit(this).getActions(); |
return getUI().getEditorKit(this).getActions(); |
935 |
} |
} |
936 |
|
|
937 |
// This is package-private to avoid an accessor method. |
// These are package-private to avoid an accessor method. |
938 |
Document doc; |
Document doc; |
939 |
private Caret caret; |
Caret caret; |
940 |
|
boolean editable; |
941 |
|
|
942 |
private Highlighter highlighter; |
private Highlighter highlighter; |
943 |
private Color caretColor; |
private Color caretColor; |
944 |
private Color disabledTextColor; |
private Color disabledTextColor; |
945 |
private Color selectedTextColor; |
private Color selectedTextColor; |
946 |
private Color selectionColor; |
private Color selectionColor; |
|
private boolean editable; |
|
947 |
private Insets margin; |
private Insets margin; |
948 |
private boolean dragEnabled; |
private boolean dragEnabled; |
949 |
|
|