Class MouseNavigator

java.lang.Object
org.eclipse.swt.custom.MouseNavigator
class MouseNavigator extends Object
This class add the following behaviour to StyledText widgets:

When the user clicks on the wheel, a circle with arrows appears. When the user moves the mouse, the StyledText content is scrolled (on the right or on the left for horizontal movements, up or down for vertical movements).

Since:
3.110

  • Field Details

    • parent

      private final StyledText parent

    • gc

      private GC gc

    • CIRCLE_RADIUS

      private static final int CIRCLE_RADIUS
      See Also:

    • CENTRAL_POINT_RADIUS

      private static final int CENTRAL_POINT_RADIUS
      See Also:

    • originalMouseLocation

      private Point originalMouseLocation

    • mouseDownListener

      private final Listener mouseDownListener

    • mouseUpListener

      private final Listener mouseUpListener

    • paintListener

      private final Listener paintListener

    • mouseMoveListener

      private final Listener mouseMoveListener

    • focusOutListener

      private final Listener focusOutListener

    • hasHBar

      private boolean hasHBar

    • hasVBar

      private boolean hasVBar

    • previousCursor

      private Cursor previousCursor

  • Constructor Details

    • MouseNavigator

      MouseNavigator(StyledText styledText)

  • Method Details

    • onMouseDown

      void onMouseDown(Event e)

    • initBarState

      private void initBarState()

    • computeHasHorizontalBar

      private boolean computeHasHorizontalBar()

    • computeHasVerticalBar

      private boolean computeHasVerticalBar()

    • onMouseUp

      private void onMouseUp(Event e)

    • computeDist

      public int computeDist()

    • deactivate

      private void deactivate()

    • onFocusOut

      private void onFocusOut(Event e)

    • onMouseMove

      private void onMouseMove(Event e)

    • fireSelectionEvent

      private void fireSelectionEvent(Event e, ScrollBar bar)

    • getMouseLocation

      private Point getMouseLocation()

    • onPaint

      private void onPaint(Event e)

    • drawCircle

      private void drawCircle()

    • drawCentralPoint

      private void drawCentralPoint()

    • drawArrows

      private void drawArrows()

    • drawHorizontalArrows

      private void drawHorizontalArrows()

    • drawVerticalArrows

      private void drawVerticalArrows()

    • dispose

      void dispose()