diff options
| author |  Stefan Fuchs <sfuchs@gmx.de> | 2017-12-28 13:55:48 +0100 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-12-30 08:15:11 -0800 |
| commit | 1742de57d050a45dd7c03c65e8b4ee3373da688d (patch) | |
| tree | b5fe30bac54af284a42288ddf53afb550d4bc6df /desktop-widgets | |
| parent | 2478158c0ffef182dadedcfb405fb40ded150eaa (diff) | |
| download | subsurface-1742de57d050a45dd7c03c65e8b4ee3373da688d.tar.gz | |
Add tool tip for negate filter button
Add tool tip for buttons introduced in:
b6bf57a13b5e4d3dd469b0fa8790d341eb4f1304
Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to 'desktop-widgets')
| -rw-r--r-- | desktop-widgets/listfilter.ui | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/desktop-widgets/listfilter.ui b/desktop-widgets/listfilter.ui index b1d717bf0..06f1889a8 100644 --- a/desktop-widgets/listfilter.ui +++ b/desktop-widgets/listfilter.ui @@ -53,6 +53,9 @@ </item> <item> <widget class="QToolButton" name="notButton"> + <property name="toolTip"> + <string>Negate filter</string> + </property> <property name="text"> <string>¬</string> </property> |