diff options
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; |