Lines Matching defs:replace
81 /** Used during replace to track the region to replace. */
545 * DocumentFilter method, funnels into <code>replace</code>.
547 void replace(DocumentFilter.FilterBypass fb, int offset,
552 replace(rh);
565 boolean replace(ReplaceHolder rh) throws BadLocationException {
589 rh.fb.replace(rh.offset, rh.length, rh.text, rh.attrs);
625 * Returns the ReplaceHolder to track the replace of the specified
640 * ReplaceHolder is used to track where insert/remove/replace is
658 * the replace (-1: offset, 1: offset + text.length()), otherwise
720 * DocumentFilter implementation that calls back to the replace
732 DefaultFormatter.this.replace(fb, offset, length, null, null);
745 DefaultFormatter.this.replace(fb, offset, 0, string, attr);
749 public void replace(FilterBypass fb, int offset, int length,
756 fb.replace(offset, length, text, attr);
758 DefaultFormatter.this.replace(fb, offset, length, text, attr);