diff options
| author | Aleks Kissinger <aleks0@gmail.com> | 2019-01-11 12:03:36 +0100 |
|---|---|---|
| committer | Aleks Kissinger <aleks0@gmail.com> | 2019-01-11 12:03:36 +0100 |
| commit | 7b59b08aa0188daa485e088f6125bcc5c3a11f85 (patch) | |
| tree | b639aebe00af708ea639baca9bc9b93522bad35e /src/gui/tikzscene.h | |
| parent | 710fdcc3eefc8bd0c206f6f105d02381b0b0c9bd (diff) | |
smart tool
Diffstat (limited to 'src/gui/tikzscene.h')
| -rw-r--r-- | src/gui/tikzscene.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gui/tikzscene.h b/src/gui/tikzscene.h index 3baa929..3e46f6d 100644 --- a/src/gui/tikzscene.h +++ b/src/gui/tikzscene.h @@ -121,6 +121,7 @@ private: bool _highlightHeads; bool _highlightTails; + bool _smartTool; }; #endif // TIKZSCENE_H |