|
Lines 54-59
Link Here
|
| 54 |
import org.eclipse.gef.KeyHandler; |
54 |
import org.eclipse.gef.KeyHandler; |
| 55 |
import org.eclipse.gef.KeyStroke; |
55 |
import org.eclipse.gef.KeyStroke; |
| 56 |
import org.eclipse.gef.LayerConstants; |
56 |
import org.eclipse.gef.LayerConstants; |
|
|
57 |
import org.eclipse.gef.MouseWheelHandler; |
| 58 |
import org.eclipse.gef.MouseWheelZoomHandler; |
| 57 |
import org.eclipse.gef.RootEditPart; |
59 |
import org.eclipse.gef.RootEditPart; |
| 58 |
import org.eclipse.gef.SnapToGeometry; |
60 |
import org.eclipse.gef.SnapToGeometry; |
| 59 |
import org.eclipse.gef.SnapToGrid; |
61 |
import org.eclipse.gef.SnapToGrid; |
|
Lines 1427-1432
Link Here
|
| 1427 |
.getGridSpacing(); |
1429 |
.getGridSpacing(); |
| 1428 |
((DiagramRootEditPart) getDiagramEditPart().getRoot()) |
1430 |
((DiagramRootEditPart) getDiagramEditPart().getRoot()) |
| 1429 |
.setGridSpacing(dSpacing); |
1431 |
.setGridSpacing(dSpacing); |
|
|
1432 |
|
| 1433 |
// Scroll-wheel Zoom |
| 1434 |
getGraphicalViewer().setProperty(MouseWheelHandler.KeyGenerator.getKey(SWT.CTRL), MouseWheelZoomHandler.SINGLETON); |
| 1435 |
|
| 1430 |
} |
1436 |
} |
| 1431 |
|
1437 |
|
| 1432 |
/** |
1438 |
/** |
