candidate fix for #3087

This commit is contained in:
Alberto Griggio
2017-03-22 12:49:17 +01:00
parent 687b3fe103
commit 4478c41eed
4 changed files with 78 additions and 47 deletions

View File

@@ -62,6 +62,7 @@ protected:
ToolBarListener* listener;
LockablePickerToolListener* pickerListener;
ToolMode current;
bool allowNoTool;
bool editingMode; // true if the cursor is being used to remotely edit tool's values
sigc::connection handConn;
sigc::connection wbConn;