/** * Hook method which is called when the given editor has been saved. * * @param part the editor part */ public void partSaved(IEditorPart part) { // http://dev.eclipse.org/bugs/show_bug.cgi?id=25440 if (fPosition == null || fPosition.isDeleted()) fSavedPosition= null; else fSavedPosition= new Position(fPosition.offset, fPosition.length); }
/** * Hook method which is called when the given editor has been saved. * * @param part the editor part */ public void partSaved(IEditorPart part) { // http://dev.eclipse.org/bugs/show_bug.cgi?id=25440 if (fPosition == null || fPosition.isDeleted()) fSavedPosition= null; else fSavedPosition= new Position(fPosition.offset, fPosition.length); }
@Override public int getMark() { return fMarkPosition == null || fMarkPosition.isDeleted() ? -1 : fMarkPosition.getOffset(); }
/** * Returns whether the marked region of this viewer is empty. * * @return <code>true</code> if the marked region of this viewer is empty, otherwise <code>false</code> * @since 2.0 */ private boolean isMarkedRegionEmpty() { return fTextWidget == null || fMarkPosition == null || fMarkPosition.isDeleted() || modelRange2WidgetRange(fMarkPosition) == null; }
/** * Hook method which is called when the given editor has been saved. * * @param part the editor part */ public void partSaved(IEditorPart part) { // http://dev.eclipse.org/bugs/show_bug.cgi?id=25440 if (fPosition == null || fPosition.isDeleted()) fSavedPosition= null; else fSavedPosition= new Position(fPosition.offset, fPosition.length); }
private void restorePosition() { if (fPosition != null && !fPosition.isDeleted() && fViewer.getDocument() != null) { fViewer.setSelectedRange(fPosition.offset, fPosition.length); fViewer.revealRange(fPosition.offset, fPosition.length); } fPosition= null; }
private void restorePosition() { if (fPosition != null && !fPosition.isDeleted() && fViewer.getDocument() != null) { fViewer.setSelectedRange(fPosition.offset, fPosition.length); fViewer.revealRange(fPosition.offset, fPosition.length); } fPosition= null; }
private void restorePosition() { if (storedPosition != null && !storedPosition.isDeleted() && viewer.getDocument() != null) { viewer.setSelectedRange(storedPosition.offset, storedPosition.length); viewer.revealRange(storedPosition.offset, storedPosition.length); } storedPosition = null; }
private void restorePosition() { if (fPosition != null && !fPosition.isDeleted() && fViewer.getDocument() != null) { fViewer.setSelectedRange(fPosition.offset, fPosition.length); fViewer.revealRange(fPosition.offset, fPosition.length); } fPosition = null; }
private void restorePosition() { if (fPosition != null && !fPosition.isDeleted() && fViewer.getDocument() != null) { fViewer.setSelectedRange(fPosition.offset, fPosition.length); fViewer.revealRange(fPosition.offset, fPosition.length); } fPosition= null; }
private void restorePosition() { if (fPosition != null && !fPosition.isDeleted() && fViewer.getDocument() != null) { fViewer.setSelectedRange(fPosition.offset, fPosition.length); fViewer.revealRange(fPosition.offset, fPosition.length); } fPosition= null; }
/** * Returns <code>true</code> if inlined annotation is deleted and <code>false</code> otherwise. * * @param annotation the inlined annotation to check * @return <code>true</code> if inlined annotation is deleted and <code>false</code> otherwise. */ private static boolean isDeleted(AbstractInlinedAnnotation annotation) { return annotation.isMarkedDeleted() || annotation.getPosition().isDeleted() || annotation.getPosition().getLength() == 0; } }
private IRegion getMarkedRegion() { if (getTextWidget() == null) return null; if (fMarkPosition == null || fMarkPosition.isDeleted()) return null; int start= fMarkPosition.getOffset(); int end= getSelectedRange().x; return start > end ? new Region (end, start - end) : new Region(start, end - start); }
private IRegion getMarkedRegion() { if (getTextWidget() == null) return null; if (fMarkPosition == null || fMarkPosition.isDeleted()) return null; int start= fMarkPosition.getOffset(); int end= getSelectedRange().x; return start > end ? new Region (end, start - end) : new Region(start, end - start); }
private boolean includes(IRegion[] regions, Position position) { for (int i= 0; i < regions.length; i++) { IRegion region= regions[i]; if (position != null && !position.isDeleted() && region.getOffset() <= position.getOffset() && position.getOffset() + position.getLength() <= region.getOffset() + region.getLength()) return true; } return false; } }
private boolean includes(IRegion[] regions, Position position) { for (int i= 0; i < regions.length; i++) { IRegion region= regions[i]; if (position != null && !position.isDeleted() && region.getOffset() <= position.getOffset() && position.getOffset() + position.getLength() <= region.getOffset() + region.getLength()) return true; } return false; } }
private boolean willAutoExpand(Position position, int offset, int length) { if (position == null || position.isDeleted()) return false; // right or left boundary if (position.getOffset() == offset || position.getOffset() + position.getLength() == offset + length) return true; // completely embedded in given position if (position.getOffset() < offset && offset + length < position.getOffset() + position.getLength()) return true; return false; }
private boolean willAutoExpand(Position position, int offset, int length) { if (position == null || position.isDeleted()) return false; // right or left boundary if (position.getOffset() == offset || position.getOffset() + position.getLength() == offset + length) return true; // completely embedded in given position if (position.getOffset() < offset && offset + length < position.getOffset() + position.getLength()) return true; return false; }