commit | a4b23e834456fdb5820ae64a1c374aa34b911df5 | [log] [tgz] |
---|---|---|
author | tkaiser <tkaiser> | Mon Jul 04 13:55:17 2011 +0000 |
committer | tkaiser <tkaiser> | Mon Jul 04 13:55:17 2011 +0000 |
tree | 4efdf728485d6cbb17ab1f082299da1e7236bfda | |
parent | cf76206bae5e5bf553cd2ef6cee11d90a64e6700 [diff] |
ASSIGNED - bug 323037: Enable right-click selection on diagram https://bugs.eclipse.org/bugs/show_bug.cgi?id=323037
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 da22255..200210c 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
@@ -353,7 +353,11 @@ protected boolean handleButtonDown(int button) { if (!isGraphicalViewer()) return true; - if (button != 1) { + // if ((button == 3 || button == 1) && isInState(STATE_INITIAL)) + // performMarqueeSelect(); + + if (button != 1 && button != 3 +) { setState(STATE_INVALID); handleInvalidInput(); } @@ -628,6 +632,7 @@ if (schedulePaint) { Display.getCurrent().timerExec(DELAY, new Runnable() { + @Override public void run() { offset++; if (offset > 5)