Attachment 83519 Details for Bug 210642 – Patch to install scroll-wheel zoom in the DiagramEditor class

[patch] Patch to install scroll-wheel zoom in the DiagramEditor class

DiagramEditor.txt (text/plain), 1.09 KB, created by Jacques LESCOT

on 2007-11-22 06:30:38 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Jacques LESCOT

Created: 2007-11-22 06:30:38 EST

Size: 1.09 KB

patch

obsolete

>Index: DiagramEditor.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.gmf/plugins/org.eclipse.gmf.runtime.diagram.ui/src/org/eclipse/gmf/runtime/diagram/ui/parts/DiagramEditor.java,v
>retrieving revision 1.35
>diff -u -r1.35 DiagramEditor.java
>--- DiagramEditor.java	21 Nov 2007 17:57:28 -0000	1.35
>+++ DiagramEditor.java	22 Nov 2007 11:22:58 -0000
>@@ -54,6 +54,8 @@
> import org.eclipse.gef.KeyHandler;
> import org.eclipse.gef.KeyStroke;
> import org.eclipse.gef.LayerConstants;
>+import org.eclipse.gef.MouseWheelHandler;
>+import org.eclipse.gef.MouseWheelZoomHandler;
> import org.eclipse.gef.RootEditPart;
> import org.eclipse.gef.SnapToGeometry;
> import org.eclipse.gef.SnapToGrid;
>@@ -1427,6 +1429,10 @@
>             .getGridSpacing();
>         ((DiagramRootEditPart) getDiagramEditPart().getRoot())
>             .setGridSpacing(dSpacing);
>+        
>+        // Scroll-wheel Zoom
>+        getGraphicalViewer().setProperty(MouseWheelHandler.KeyGenerator.getKey(SWT.CTRL), MouseWheelZoomHandler.SINGLETON);
>+
>     }
> 
>     /**

Actions: View | Diff

Attachments on bug 210642: 83519