diff options
author | Olivier Goffart <ogoffart@woboq.com> | 2016-01-12 16:35:35 +0300 |
---|---|---|
committer | Olivier Goffart <ogoffart@woboq.com> | 2016-01-12 16:36:13 +0300 |
commit | 980010174826e952fcc90cd831d574ecf6292c87 (patch) | |
tree | aae6cdbc85113974055dd7db6f0c82a5bc9b623a /src/gui/shareusergroupwidget.h | |
parent | 1ed02f64945e4692d62b5474a5635258f4aac8c0 (diff) |
Sharing: feedback when there is no result while searching for an user #4348
Diffstat (limited to 'src/gui/shareusergroupwidget.h')
-rw-r--r-- | src/gui/shareusergroupwidget.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/shareusergroupwidget.h b/src/gui/shareusergroupwidget.h index 0c827d679..cbe226341 100644 --- a/src/gui/shareusergroupwidget.h +++ b/src/gui/shareusergroupwidget.h @@ -123,7 +123,7 @@ private: bool _resharingAllowed; bool _isFile; - + bool _disableCompleterActivated; // in order to avoid that we share the contents twice ShareManager *_manager; }; |