Robert C. Helling c9d8b4f605 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>

2019-02-05 14:18:14 +01:00

934 B

23x23px

Raw History