From fca842ac7a300493f85efa97cc042a6fe367460b Mon Sep 17 00:00:00 2001 From: "serge@jkiss.org" Date: Fri, 21 Jun 2019 08:44:19 +0200 Subject: [PATCH] #6134 ERD: Zoom wih mouse wheel Former-commit-id: 848b344d05bb506e018774cd494ff70119407f06 --- .../dbeaver/ext/erd/editor/ERDGraphicalViewer.java | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/plugins/org.jkiss.dbeaver.ext.erd/src/org/jkiss/dbeaver/ext/erd/editor/ERDGraphicalViewer.java b/plugins/org.jkiss.dbeaver.ext.erd/src/org/jkiss/dbeaver/ext/erd/editor/ERDGraphicalViewer.java index a491cb95bf..e631e3ec86 100644 --- a/plugins/org.jkiss.dbeaver.ext.erd/src/org/jkiss/dbeaver/ext/erd/editor/ERDGraphicalViewer.java +++ b/plugins/org.jkiss.dbeaver.ext.erd/src/org/jkiss/dbeaver/ext/erd/editor/ERDGraphicalViewer.java @@ -19,10 +19,7 @@ */ package org.jkiss.dbeaver.ext.erd.editor; -import org.eclipse.gef.DefaultEditDomain; -import org.eclipse.gef.EditPart; -import org.eclipse.gef.GraphicalViewer; -import org.eclipse.gef.Tool; +import org.eclipse.gef.*; import org.eclipse.gef.palette.PaletteContainer; import org.eclipse.gef.palette.PaletteDrawer; import org.eclipse.gef.palette.PaletteRoot; @@ -32,6 +29,7 @@ import org.eclipse.gef.ui.parts.AbstractEditPartViewer; import org.eclipse.gef.ui.parts.ScrollingGraphicalViewer; import org.eclipse.jface.util.IPropertyChangeListener; import org.eclipse.jface.util.PropertyChangeEvent; +import org.eclipse.swt.SWT; import org.eclipse.swt.events.DisposeEvent; import org.eclipse.swt.events.FocusEvent; import org.eclipse.swt.graphics.Font; @@ -83,7 +81,10 @@ public class ERDGraphicalViewer extends ScrollingGraphicalViewer implements IPro themeManager = editor.getSite().getWorkbenchWindow().getWorkbench().getThemeManager(); themeManager.addPropertyChangeListener(this); - } + + setProperty(MouseWheelHandler.KeyGenerator.getKey(SWT.MOD1), MouseWheelZoomHandler.SINGLETON); + //setProperty(MouseWheelHandler.KeyGenerator.getKey(SWT.MOD2), MouseWheelHorizontalScrollHandler.SINGLETON); + } public ERDEditorPart getEditor() { -- GitLab