| commit | 8b268c26892a13033417a21ebf59ba6c5e1cc50b | [log] [tgz] |
|---|---|---|
| author | tkaiser <tkaiser> | Mon Jul 04 13:55:38 2011 +0000 |
| committer | tkaiser <tkaiser> | Mon Jul 04 13:55:38 2011 +0000 |
| tree | 7266c4e1a0fb1090db19327644c11af474c35178 | |
| parent | a4b23e834456fdb5820ae64a1c374aa34b911df5 [diff] |
.
diff --git a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java index 200210c..f091abc 100644 --- a/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java +++ b/plugins/org.eclipse.graphiti.ui/src/org/eclipse/graphiti/ui/internal/editor/GFMarqueeSelectionTool.java
@@ -356,8 +356,7 @@ // if ((button == 3 || button == 1) && isInState(STATE_INITIAL)) // performMarqueeSelect(); - if (button != 1 && button != 3 -) { + if (button != 1 && button != 3) { setState(STATE_INVALID); handleInvalidInput(); }