50 |
|
|
51 |
void addUndoableEditListener(UndoableEditListener listener); |
void addUndoableEditListener(UndoableEditListener listener); |
52 |
|
|
53 |
Position createPosition(int offs); |
Position createPosition(int offs) |
54 |
|
throws BadLocationException; |
55 |
|
|
56 |
Element getDefaultRootElement(); |
Element getDefaultRootElement(); |
57 |
|
|
65 |
|
|
66 |
Position getStartPosition(); |
Position getStartPosition(); |
67 |
|
|
68 |
String getText(int offset, int length); |
String getText(int offset, int length) |
69 |
|
throws BadLocationException; |
70 |
|
|
71 |
void getText(int offset, int length, Segment txt); |
void getText(int offset, int length, Segment txt) |
72 |
|
throws BadLocationException; |
73 |
|
|
74 |
void insertString(int offset, String str, AttributeSet a) |
void insertString(int offset, String str, AttributeSet a) |
75 |
throws BadLocationException; |
throws BadLocationException; |
76 |
|
|
77 |
void putProperty(Object key, Object value); |
void putProperty(Object key, Object value); |
78 |
|
|
79 |
void remove(int offs, int len); |
void remove(int offs, int len) |
80 |
|
throws BadLocationException; |
81 |
|
|
82 |
void removeDocumentListener(DocumentListener listener); |
void removeDocumentListener(DocumentListener listener); |
83 |
|
|