diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-11-28 10:47:12 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-03 20:37:57 -0800 |
| commit | 7dc8a9850db1f33fcccdfec393b431c50ff05b42 (patch) | |
| tree | d6f13eb616a6d5bfcf221650734fb5c92ee64bd9 /scripts/linux | |
| parent | 33e49637ec6a99c50ad56bfbfc88b4e925d01e7d (diff) | |
| download | subsurface-7dc8a9850db1f33fcccdfec393b431c50ff05b42.tar.gz | |
Desktop: handle environmental states in Information tab
Create a preference setting on the General Settings page. The setting is saved
with the other preferences.
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/linux')
0 files changed, 0 insertions, 0 deletions