133 |
protected void fireUndoableEditUpdate(UndoableEditEvent event) |
protected void fireUndoableEditUpdate(UndoableEditEvent event) |
134 |
{ |
{ |
135 |
UndoableEditListener[] listeners = getUndoableEditListeners(); |
UndoableEditListener[] listeners = getUndoableEditListeners(); |
136 |
|
|
137 |
for (int index = 0; index < listeners.length; ++index) |
for (int index = 0; index < listeners.length; ++index) |
138 |
listeners[index].undoableEditHappened(event); |
listeners[index].undoableEditHappened(event); |
139 |
} |
} |
199 |
} |
} |
200 |
|
|
201 |
public String getText(int offset, int length) throws BadLocationException |
public String getText(int offset, int length) throws BadLocationException |
202 |
{ |
{ |
203 |
return content.getString(offset, length); |
return content.getString(offset, length); |
204 |
} |
} |
205 |
|
|
206 |
public void getText(int offset, int length, Segment txt) |
public void getText(int offset, int length, Segment txt) |
207 |
throws BadLocationException |
throws BadLocationException |