diff options
| author |  willemferguson <willemferguson@zoology.up.ac.za> | 2019-11-29 07:08:14 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2019-12-03 20:37:57 -0800 |
| commit | 9006e3d1027279621af5f10f25c5c2c4bf2f5b9c (patch) | |
| tree | c493695d391efb556f43e9251eb17db0e9e16a5e /theme/list_lib.js | |
| parent | 6d7f26f4bf794c0faa79370dd788d90391542d30 (diff) | |
| download | subsurface-9006e3d1027279621af5f10f25c5c2c4bf2f5b9c.tar.gz | |
Desktop: add additional star widgets to Information tab
Provide file I/O for those star widgets that are enabled. The values of the
widgets can be stored to and read from either xml or git.
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'theme/list_lib.js')
0 files changed, 0 insertions, 0 deletions