diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2019-02-18 12:47:20 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2019-02-19 12:02:58 -0800 |
| commit | 3ff131b27dff7b0742094051f4262d2dd7d3322d (patch) | |
| tree | 239798cf5499b2defd55d61571d7ff852eae86c2 /desktop-widgets/preferences | |
| parent | 208b3bb9af8039ef0e2fc70e0e617c24db047e5d (diff) | |
| download | subsurface-3ff131b27dff7b0742094051f4262d2dd7d3322d.tar.gz | |
Desktop: show the filter information in the window title
Instead of using the filter widget itself to show the information how many
dives are displayed, put it in the window title where it's visible even if the
filter widget isn't shown.
If the filter is not active, simply show the total number of dives.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/preferences')
0 files changed, 0 insertions, 0 deletions