diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2019-01-29 14:27:27 +0100 |
|---|---|---|
| committer | Robert C. Helling <helling@atdotde.de> | 2019-02-05 14:18:14 +0100 |
| commit | c9d8b4f605d55b99ec41ec1eaa008118889261c3 (patch) | |
| tree | 5b279ab8ef3a4cf280701a975033625ef95b1b0d /desktop-widgets/plannerSettings.ui | |
| parent | 2eebbfa3a4ee692df3ba84ae01bf390a6b83e6de (diff) | |
| download | subsurface-c9d8b4f605d55b99ec41ec1eaa008118889261c3.tar.gz | |
Add button to toggle deco info in info box
The info box can get longish. Offer the user to turn
off display of deco information (surface GF and
individual ceilings).
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Diffstat (limited to 'desktop-widgets/plannerSettings.ui')
0 files changed, 0 insertions, 0 deletions