pl.edu.agh.cast.editor
Class ExtendedMouseWheelZoomHandler

java.lang.Object
  pl.edu.agh.cast.editor.ExtendedMouseWheelZoomHandler

All Implemented Interfaces:

org.eclipse.gef.MouseWheelHandler

public final class ExtendedMouseWheelZoomHandler
extends Object
implements org.eclipse.gef.MouseWheelHandler

This class represents mouse wheel zoom handler which zooms editor in point pointed by mouse cursor.

Author:

AGH CAST Team

Nested Class Summary

Nested classes/interfaces inherited from interface org.eclipse.gef.MouseWheelHandler

org.eclipse.gef.MouseWheelHandler.KeyGenerator

Method Summary

static ExtendedMouseWheelZoomHandler	getInstance() Returns singleton instance.
void	handleMouseWheel(org.eclipse.swt.widgets.Event event, org.eclipse.gef.EditPartViewer viewer) Zooms the given viewer.

Methods inherited from class java.lang.Object

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

Method Detail

getInstance

public static ExtendedMouseWheelZoomHandler getInstance()

Returns singleton instance.

Returns:

instance of ExtendedMouseWheelZoomHandler class.

handleMouseWheel

public void handleMouseWheel(org.eclipse.swt.widgets.Event event,
                             org.eclipse.gef.EditPartViewer viewer)

Zooms the given viewer.

Specified by:

handleMouseWheel in interface org.eclipse.gef.MouseWheelHandler

See Also:

MouseWheelHandler.handleMouseWheel(org.eclipse.swt.widgets.Event, org.eclipse.gef.EditPartViewer)