/** * Updates the viewport, trying to keep the * {@linkplain StyledText#getLinePixel(int) line pixel} of the caret line stable. If the * selection has been updated while in redraw(false) mode, the new selection is revealed. */ private void updateViewport() { if (fSelectionSet) { revealRange(fSelection.getOffset(), fSelection.getLength()); } else if (fStableLine != null) { int stableLine; try { stableLine= fUpdaterDocument.getLineOfOffset(fStableLine.getOffset()); } catch (BadLocationException x) { // ignore and return silently return; } int stableWidgetLine= getClosestWidgetLineForModelLine(stableLine); if (stableWidgetLine == -1) return; int linePixel= getTextWidget().getLinePixel(stableWidgetLine); int delta= fStablePixel - linePixel; int topPixel= getTextWidget().getTopPixel(); getTextWidget().setTopPixel(topPixel - delta); } }
/** * Updates the viewport, trying to keep the * {@linkplain StyledText#getLinePixel(int) line pixel} of the caret line stable. If the * selection has been updated while in redraw(false) mode, the new selection is revealed. */ private void updateViewport() { if (fSelectionSet) { revealRange(fSelection.getOffset(), fSelection.getLength()); } else if (fStableLine != null) { int stableLine; try { stableLine= fUpdaterDocument.getLineOfOffset(fStableLine.getOffset()); } catch (BadLocationException x) { // ignore and return silently return; } int stableWidgetLine= getClosestWidgetLineForModelLine(stableLine); if (stableWidgetLine == -1) return; int linePixel= getTextWidget().getLinePixel(stableWidgetLine); int delta= fStablePixel - linePixel; int topPixel= getTextWidget().getTopPixel(); getTextWidget().setTopPixel(topPixel - delta); } }
revealRange(s.getOffset(), s.getLength()); } else if (selection instanceof ITextSelection) { ITextSelection s= (ITextSelection) selection; setSelectedRange(s.getOffset(), s.getLength()); if (reveal) revealRange(s.getOffset(), s.getLength());
revealRange(s.getOffset(), s.getLength()); } else if (selection instanceof ITextSelection) { ITextSelection s= (ITextSelection) selection; setSelectedRange(s.getOffset(), s.getLength()); if (reveal) revealRange(s.getOffset(), s.getLength());