public synchronized void documentChanged(DocumentEvent event) { if (document == null) { return; } repairLines(event.fOffset); TextChangedEvent changeEvent = new TextChangedEvent(this); for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { TextChangeListener element = (TextChangeListener) iter.next(); element.textChanged(changeEvent); } }
/** * sets consoleWidth, repairs line information, then fires event to the viewer text widget. * @param width The console's width */ public void setWidth(int width) { if (width != consoleWidth) { consoleWidth = width; repairLines(0); TextChangedEvent changeEvent = new TextChangedEvent(this); for (Iterator iter = textChangeListeners.iterator(); iter.hasNext();) { TextChangeListener element = (TextChangeListener) iter.next(); element.textSet(changeEvent); } } } }
public void setDocument(IDocument doc) { if (document != null) { document.removeDocumentListener(this); } document = doc; if (document != null) { document.addDocumentListener(this); repairLines(0); } }
@Override public void setDocument(IDocument doc) { if (document != null) { document.removeDocumentListener(this); } document = doc; if (document != null) { document.addDocumentListener(this); repairLines(0); } }
@Override public synchronized void documentChanged(DocumentEvent event) { if (document == null) { return; } repairLines(event.fOffset); TextChangedEvent changeEvent = new TextChangedEvent(this); for (TextChangeListener listener : textChangeListeners) { listener.textChanged(changeEvent); } }
/** * sets consoleWidth, repairs line information, then fires event to the viewer text widget. * @param width The console's width */ public void setWidth(int width) { if (width != consoleWidth) { consoleWidth = width; repairLines(0); TextChangedEvent changeEvent = new TextChangedEvent(this); for (TextChangeListener listener : textChangeListeners) { listener.textSet(changeEvent); } } } }