diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2012-12-07 00:28:18 +0000 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2012-12-07 00:28:18 +0000 |
| commit | 9ff258a631d9118828768a4a0bcec4a7fb2004a3 (patch) | |
| tree | 775ec9543ec7adb3541eaa9a651a6c975f556065 /tikzit/src/gtk/GraphEditorPanel.m | |
| parent | 7aa6eda371eea746792dce412b97ed9799e3467e (diff) | |
Only discard selection when switching to another tool
Before, the selection was discarded even when another window grabbed the
tool.
Diffstat (limited to 'tikzit/src/gtk/GraphEditorPanel.m')
| -rw-r--r-- | tikzit/src/gtk/GraphEditorPanel.m | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tikzit/src/gtk/GraphEditorPanel.m b/tikzit/src/gtk/GraphEditorPanel.m index 6d98fa5..922322e 100644 --- a/tikzit/src/gtk/GraphEditorPanel.m +++ b/tikzit/src/gtk/GraphEditorPanel.m @@ -78,6 +78,9 @@ if (t == tool) return; + [[[renderer document] pickSupport] deselectAllNodes]; + [[[renderer document] pickSupport] deselectAllEdges]; + BOOL hadOldTool = ([tool activeRenderer] == renderer); id oldTool = tool; |