@Override public synchronized void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); } /* (non-Javadoc)
public synchronized void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); } /* (non-Javadoc)
public void replace(int offset, int length, String text, long modificationStamp) throws BadLocationException { Object lockObject= getLockObject(); if (lockObject == null) { super.replace(offset, length, text, modificationStamp); return; } synchronized (lockObject) { super.replace(offset, length, text, modificationStamp); } }
@Override public void replace(int offset, int length, String text, long modificationStamp) throws BadLocationException { Object lockObject= getLockObject(); if (lockObject == null) { super.replace(offset, length, text, modificationStamp); return; } synchronized (lockObject) { super.replace(offset, length, text, modificationStamp); } }
@Override public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
public void replace(int offset, int length, String text) throws BadLocationException { super.replace(offset, length, text); this.buffer.replace(offset, length, text); }
@Override public void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); fText.removeModifyListener(fModifyListener); fText.setText(get()); fText.addModifyListener(fModifyListener); } }
@Override public void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); fText.removeModifyListener(fModifyListener); fText.setText(get()); fText.addModifyListener(fModifyListener); } }
/** * Indents line <code>line</code> in <code>document</code> with <code>indent</code>. Leaves leading comment signs alone. * * @param document * the document * @param line * the line * @param indent * the indentation to insert * @throws BadLocationException * on concurrent document modification */ private void addIndent(Document document, int line, CharSequence indent) throws BadLocationException { IRegion region = document.getLineInformation(line); int insert = region.getOffset(); // insert indent document.replace(insert, 0, indent.toString()); }
protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }
protected IRegion check(String before, int start, int replaceLength, String text) throws Exception { Document doc = createDocument(before); damager.setDocument(doc); doc.addDocumentListener(this); doc.replace(start, replaceLength, text); return lastRegion; }
@Override public void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); fCombo.removeModifyListener(fModifyListener); fCombo.setText(get()); fCombo.addModifyListener(fModifyListener); } }
@Override public void replace(int pos, int length, String text) throws BadLocationException { super.replace(pos, length, text); fCombo.removeModifyListener(fModifyListener); fCombo.setText(get()); fCombo.addModifyListener(fModifyListener); } }
document.replace(from, to - from, ""); //$NON-NLS-1$