@Override protected void handleVerifyEvent(VerifyEvent e) { if (getTextWidget().getBlockSelection()) { ITextSelection selection= (ITextSelection) getSelection(); if (exposeModelRange(new Region(selection.getOffset(), selection.getLength()))) setSelection(selection); super.handleVerifyEvent(e); return; } Point selection= getSelectedRange(); IRegion modelRange= event2ModelRange(e); if (exposeModelRange(modelRange)) { e.doit= false; try { if (selection.y == 0 && e.text.length() <= 1 && modelRange.getLength() == 1) { selection.y= 1; if (selection.x - 1 == modelRange.getOffset()) selection.x--; } getDocument().replace(selection.x, selection.y, e.text); setSelectedRange(selection.x + e.text.length(), 0); } catch (BadLocationException e1) { // ignore as nothing bad happens (no log at this level) } } else super.handleVerifyEvent(e); }
@Override protected void handleVerifyEvent(VerifyEvent e) { if (getTextWidget().getBlockSelection()) { ITextSelection selection= (ITextSelection) getSelection(); if (exposeModelRange(new Region(selection.getOffset(), selection.getLength()))) setSelection(selection); super.handleVerifyEvent(e); return; } Point selection= getSelectedRange(); IRegion modelRange= event2ModelRange(e); if (exposeModelRange(modelRange)) { e.doit= false; try { if (selection.y == 0 && e.text.length() <= 1 && modelRange.getLength() == 1) { selection.y= 1; if (selection.x - 1 == modelRange.getOffset()) selection.x--; } getDocument().replace(selection.x, selection.y, e.text); setSelectedRange(selection.x + e.text.length(), 0); } catch (BadLocationException e1) { // ignore as nothing bad happens (no log at this level) } } else super.handleVerifyEvent(e); }
int length= matchRegion.getLength(); if (rangeOffset <= offset && offset + length <= rangeOffset + rangeLength) { exposeModelRange(matchRegion); revealRange(offset, length); setSelectedRange(offset, length);
int length= matchRegion.getLength(); if (rangeOffset <= offset && offset + length <= rangeOffset + rangeLength) { exposeModelRange(matchRegion); revealRange(offset, length); setSelectedRange(offset, length);
@Override protected int findAndSelect(int startPosition, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord, boolean regExSearch) { if (!isProjectionMode()) return super.findAndSelect(startPosition, findString, forwardSearch, caseSensitive, wholeWord, regExSearch); StyledText textWidget= getTextWidget(); if (textWidget == null) return -1; try { IRegion matchRegion= getFindReplaceDocumentAdapter().find(startPosition, findString, forwardSearch, caseSensitive, wholeWord, regExSearch); if (matchRegion != null) { exposeModelRange(matchRegion); revealRange(matchRegion.getOffset(), matchRegion.getLength()); setSelectedRange(matchRegion.getOffset(), matchRegion.getLength()); return matchRegion.getOffset(); } } catch (BadLocationException x) { } return -1; }
@Override protected int findAndSelect(int startPosition, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord, boolean regExSearch) { if (!isProjectionMode()) return super.findAndSelect(startPosition, findString, forwardSearch, caseSensitive, wholeWord, regExSearch); StyledText textWidget= getTextWidget(); if (textWidget == null) return -1; try { IRegion matchRegion= getFindReplaceDocumentAdapter().find(startPosition, findString, forwardSearch, caseSensitive, wholeWord, regExSearch); if (matchRegion != null) { exposeModelRange(matchRegion); revealRange(matchRegion.getOffset(), matchRegion.getLength()); setSelectedRange(matchRegion.getOffset(), matchRegion.getLength()); return matchRegion.getOffset(); } } catch (BadLocationException x) { } return -1; }
if (exposeModelRange(new Region(selection.getOffset(), selection.getLength()))) setSelection(selection);
if (exposeModelRange(new Region(selection.getOffset(), selection.getLength()))) setSelection(selection);