@Override public void run() { topIndex[0]= textViewer.getTopIndex(); } });
@Override public void run() { topIndex[0]= textViewer.getTopIndex(); } });
/** * 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 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); } }