@Override public void run() { if (fAutoScrollDirection == SWT.UP) { int top= getInclusiveTopIndex(); if (top > 0) { fCachedTextViewer.setTopIndex(top -1); expandSelection(top -1); display.timerExec(TIMER_INTERVAL, this); } } } };
@Override public void run() { if (fAutoScrollDirection == SWT.DOWN) { int top= getInclusiveTopIndex(); fCachedTextViewer.setTopIndex(top +1); expandSelection(top +1 + fCachedViewportSize); display.timerExec(TIMER_INTERVAL, this); } } };
@Override public void run() { if (fAutoScrollDirection == SWT.UP) { int top= getInclusiveTopIndex(); if (top > 0) { fCachedTextViewer.setTopIndex(top -1); expandSelection(top -1); display.timerExec(TIMER_INTERVAL, this); } } } };
@Override public void run() { if (fAutoScrollDirection == SWT.DOWN) { int top= getInclusiveTopIndex(); fCachedTextViewer.setTopIndex(top +1); expandSelection(top +1 + fCachedViewportSize); display.timerExec(TIMER_INTERVAL, this); } } };
/** * Handles mouse scrolled events on the ruler by forwarding them to the text widget. * * @param e the mouse event * @since 3.10 */ void handleMouseScrolled(MouseEvent e) { if (fCachedTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fCachedTextViewer; StyledText textWidget= fCachedTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - e.count); fCachedTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else { int topIndex= fCachedTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - e.count); fCachedTextViewer.setTopIndex(newTopIndex); } }
/** * Handles mouse scrolls. * * @param event the mouse scrolled event */ private void handleMouseScrolled(MouseEvent event) { if (fTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; StyledText textWidget= fTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else if (fTextViewer != null) { int topIndex= fTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fTextViewer.setTopIndex(newTopIndex); } }
/** * Handles mouse scrolled events on the ruler by forwarding them to the text widget. * * @param e the mouse event * @since 3.10 */ void handleMouseScrolled(MouseEvent e) { if (fCachedTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fCachedTextViewer; StyledText textWidget= fCachedTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - e.count); fCachedTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else { int topIndex= fCachedTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - e.count); fCachedTextViewer.setTopIndex(newTopIndex); } }
/** * Handles mouse scrolls. * * @param event the mouse scrolled event */ private void handleMouseScrolled(MouseEvent event) { if (fCachedTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fCachedTextViewer; StyledText textWidget= fCachedTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fCachedTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else if (fCachedTextViewer != null) { int topIndex= fCachedTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fCachedTextViewer.setTopIndex(newTopIndex); } }
/** * Handles mouse scrolls. * * @param event the mouse scrolled event */ private void handleMouseScrolled(MouseEvent event) { if (fTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fTextViewer; StyledText textWidget= fTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else if (fTextViewer != null) { int topIndex= fTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fTextViewer.setTopIndex(newTopIndex); } }
/** * Handles mouse scrolls. * * @param event the mouse scrolled event */ private void handleMouseScrolled(MouseEvent event) { if (fCachedTextViewer instanceof ITextViewerExtension5) { ITextViewerExtension5 extension= (ITextViewerExtension5) fCachedTextViewer; StyledText textWidget= fCachedTextViewer.getTextWidget(); int topIndex= textWidget.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fCachedTextViewer.setTopIndex(extension.widgetLine2ModelLine(newTopIndex)); } else if (fCachedTextViewer != null) { int topIndex= fCachedTextViewer.getTopIndex(); int newTopIndex= Math.max(0, topIndex - event.count); fCachedTextViewer.setTopIndex(newTopIndex); } }
private void updateEditorTopIndex() { int caretOffset = fMinimapTextWidget.getCaretOffset(); int lineAtOffset = fMinimapTextWidget.getLineAtOffset(caretOffset); int newTopIndex = lineAtOffset; if (fEditorViewer instanceof ITextViewerExtension5) { // adjust offset according folded content newTopIndex = ((ITextViewerExtension5) fEditorViewer).widgetLine2ModelLine(lineAtOffset); } fEditorViewer.setTopIndex(newTopIndex); }
viewer.setTopIndex(calculateTopIndex(document, viewportOfViewer, range, selection);