@Override public void widgetSelected(SelectionEvent e) { if (e.widget == fScroller) updateViewportListeners(SCROLLER); else updateViewportListeners(MOUSE); }
@Override public void widgetSelected(SelectionEvent e) { if (e.widget == fScroller) updateViewportListeners(SCROLLER); else updateViewportListeners(MOUSE); }
@Override public void keyPressed(KeyEvent e) { updateViewportListeners(KEY); }
@Override public void controlResized(ControlEvent e) { updateViewportListeners(RESIZE); }
@Override public void keyReleased(KeyEvent e) { updateViewportListeners(KEY); }
@Override public void keyPressed(KeyEvent e) { updateViewportListeners(KEY); }
@Override public void controlResized(ControlEvent e) { updateViewportListeners(RESIZE); }
@Override public void keyReleased(KeyEvent e) { updateViewportListeners(KEY); }
@Override public void mouseUp(MouseEvent e) { if (fTextWidget != null) fTextWidget.removeSelectionListener(this); updateViewportListeners(MOUSE_END); }
@Override public void mouseUp(MouseEvent e) { if (fTextWidget != null) fTextWidget.removeSelectionListener(this); updateViewportListeners(MOUSE_END); }
@Override public void setTopIndex(int index) { if (fTextWidget != null) { int widgetLine= modelLine2WidgetLine(index); if (widgetLine == -1) widgetLine= getClosestWidgetLineForModelLine(index); if (widgetLine > -1) { fTextWidget.setTopIndex(widgetLine); updateViewportListeners(INTERNAL); } } }
@Override public void setTopIndex(int index) { if (fTextWidget != null) { int widgetLine= modelLine2WidgetLine(index); if (widgetLine == -1) widgetLine= getClosestWidgetLineForModelLine(index); if (widgetLine > -1) { fTextWidget.setTopIndex(widgetLine); updateViewportListeners(INTERNAL); } } }
@Override public void handleEvent(Event event) { if (((event.stateMask & SWT.MOD1) == 0)) return; int topIndex= fTextWidget.getTopIndex(); int bottomIndex= JFaceTextUtil.getBottomIndex(fTextWidget); if (event.count > 0) fTextWidget.setTopIndex(2 * topIndex - bottomIndex); else fTextWidget.setTopIndex(bottomIndex); updateViewportListeners(INTERNAL); } });
fTextWidget.setTopIndex(bottomIndex); updateViewportListeners(INTERNAL); });