From: <aki...@us...> - 2008-09-25 19:20:13
|
Revision: 5221 http://gridarta.svn.sourceforge.net/gridarta/?rev=5221&view=rev Author: akirschbaum Date: 2008-09-25 19:19:58 +0000 (Thu, 25 Sep 2008) Log Message: ----------- Support scrolling with mouse wheel in script editor. Modified Paths: -------------- trunk/crossfire/ChangeLog trunk/daimonin/ChangeLog trunk/src/app/net/sf/gridarta/textedit/textarea/JEditTextArea.java Modified: trunk/crossfire/ChangeLog =================================================================== --- trunk/crossfire/ChangeLog 2008-09-25 18:37:24 UTC (rev 5220) +++ trunk/crossfire/ChangeLog 2008-09-25 19:19:58 UTC (rev 5221) @@ -1,5 +1,7 @@ 2008-09-25 Andreas Kirschbaum + * Support scrolling with mouse wheel in script editor. + * Add undo/redo buttons to toolbar. * Make the tool selector more compact. Modified: trunk/daimonin/ChangeLog =================================================================== --- trunk/daimonin/ChangeLog 2008-09-25 18:37:24 UTC (rev 5220) +++ trunk/daimonin/ChangeLog 2008-09-25 19:19:58 UTC (rev 5221) @@ -1,5 +1,7 @@ 2008-09-25 Andreas Kirschbaum + * Support scrolling with mouse wheel in script editor. + * Add undo/redo buttons to toolbar. * Make the tool selector more compact. Modified: trunk/src/app/net/sf/gridarta/textedit/textarea/JEditTextArea.java =================================================================== --- trunk/src/app/net/sf/gridarta/textedit/textarea/JEditTextArea.java 2008-09-25 18:37:24 UTC (rev 5220) +++ trunk/src/app/net/sf/gridarta/textedit/textarea/JEditTextArea.java 2008-09-25 19:19:58 UTC (rev 5221) @@ -30,6 +30,7 @@ import java.awt.event.MouseAdapter; import java.awt.event.MouseEvent; import java.awt.event.MouseMotionListener; +import java.awt.event.MouseWheelEvent; import java.io.IOException; import java.lang.reflect.Field; import java.lang.reflect.InvocationTargetException; @@ -195,7 +196,9 @@ vertical.addAdjustmentListener(new AdjustHandler()); horizontal.addAdjustmentListener(new AdjustHandler()); painter.addComponentListener(new ComponentHandler()); - painter.addMouseListener(new MouseHandler()); + final MouseHandler mouseHandler = new MouseHandler(); + painter.addMouseListener(mouseHandler); + painter.addMouseWheelListener(mouseHandler); painter.addMouseMotionListener(new DragHandler()); addFocusListener(new FocusHandler()); @@ -1738,6 +1741,17 @@ } } + /** {@inheritDoc} */ + public void mouseWheelMoved(final MouseWheelEvent e) { + final int diff; + if (e.getScrollType() == MouseWheelEvent.WHEEL_UNIT_SCROLL) { + diff = e.getUnitsToScroll() * vertical.getUnitIncrement(1); + } else { + diff = e.getWheelRotation() * vertical.getBlockIncrement(); + } + vertical.setValue(vertical.getValue() + diff); + } + private void doSingleClick(final MouseEvent evt, final int line, final int offset, final int dot) { if ((evt.getModifiers() & InputEvent.SHIFT_MASK) != 0) { rectSelect = (evt.getModifiers() & InputEvent.CTRL_MASK) != 0; This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |