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/NodeStylesPalette.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/NodeStylesPalette.m')
0 files changed, 0 insertions, 0 deletions