diff options
| author |  Stefan Fuchs <sfuchs@gmx.de> | 2017-10-08 21:43:30 +0200 |
|---|---|---|
| committer |  Robert C. Helling <helling@atdotde.de> | 2017-10-08 23:19:23 +0200 |
| commit | c3857db23bdd21469762ea1a5b6f2f20a52ca15e (patch) | |
| tree | 867f7873ff8e0f9d5d4cb2cbe0f00e2a46203508 /desktop-widgets | |
| parent | f9d05a803875e947cebc7596d9ba078302c3f75f (diff) | |
| download | subsurface-c3857db23bdd21469762ea1a5b6f2f20a52ca15e.tar.gz | |
Hide outdated gas name strings in profile in planner
When deleting dive planner points in the planner we currently sometimes
miss to hide the outdated gas name strings printed close to the profile
legs.
Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to 'desktop-widgets')
0 files changed, 0 insertions, 0 deletions