@Override public void replaceSelection(String text, boolean regExReplace) { Point s= TextViewer.this.getSelectedRange(); if (s.x > -1 && s.y > -1) { try { IRegion matchRegion= TextViewer.this.getFindReplaceDocumentAdapter().replace(text, regExReplace); int length= -1; if (matchRegion != null) length= matchRegion.getLength(); if (text != null && length > 0) TextViewer.this.setSelectedRange(s.x, length); } catch (BadLocationException x) { } } }
@Override public void replaceSelection(String text, boolean regExReplace) { Point s= TextViewer.this.getSelectedRange(); if (s.x > -1 && s.y > -1) { try { IRegion matchRegion= TextViewer.this.getFindReplaceDocumentAdapter().replace(text, regExReplace); int length= -1; if (matchRegion != null) length= matchRegion.getLength(); if (text != null && length > 0) TextViewer.this.setSelectedRange(s.x, length); } catch (BadLocationException x) { } } }