diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2020-04-10 16:50:03 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2020-04-10 16:50:03 +0100 |
| commit | 0ca80333a1593af964a8361af72aeab37e919868 (patch) | |
| tree | c3d0a24081b99fc19ae469af51229462ea723d80 /src/gui/tikzscene.h | |
| parent | dcb4470b8cd34cd6f12d59988c1b0af9008b3420 (diff) | |
check for auto-repeating key before switching tool (fixes #58)
Diffstat (limited to 'src/gui/tikzscene.h')
| -rw-r--r-- | src/gui/tikzscene.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gui/tikzscene.h b/src/gui/tikzscene.h index 1edd50a..2e7baa5 100644 --- a/src/gui/tikzscene.h +++ b/src/gui/tikzscene.h @@ -130,6 +130,8 @@ private: bool _highlightHeads; bool _highlightTails; bool _smartTool; + + bool _ctrlWasPressed; }; #endif // TIKZSCENE_H |