Package mars.venus.editor.jeditsyntax

Class JEditTextArea.MouseWheelHandler

java.lang.Object

mars.venus.editor.jeditsyntax.JEditTextArea.MouseWheelHandler

All Implemented Interfaces:

MouseWheelListener, EventListener

Enclosing class:

JEditTextArea

protected class JEditTextArea.MouseWheelHandler
extends Object
implements MouseWheelListener

Allows use of mouse wheel to scroll. Scrolling as fast as I could, the most notches I could get in one MouseWheelEvent was 3. Normally it will be 1. Nonetheless, this will scroll up to the number in the event, subject to scrollability of the text in its viewport.

Author:

DPS, 5-5-2010

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	MouseWheelHandler()

Method Summary

Modifier and Type	Method	Description
void	mouseWheelMoved(MouseWheelEvent event)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

MouseWheelHandler

protected MouseWheelHandler()

Method Details

mouseWheelMoved

public void mouseWheelMoved(MouseWheelEvent event)

Specified by:

mouseWheelMoved in interface MouseWheelListener