diff options
author | willemferguson <willemferguson@zoology.up.ac.za> | 2020-11-01 20:43:54 +0200 |
---|---|---|
committer | Dirk Hohndel <dirk@hohndel.org> | 2020-11-03 23:08:39 -0800 |
commit | 8b36cf10518c54d76134686a3e079bbde176022b (patch) | |
tree | 2ad17a80d75c585ba6ac2887c9dc2a427a65e15c /desktop-widgets/tab-widgets/TabDiveExtraInfo.h | |
parent | 1ff488a4392f4d9a41cf1652c351e7b59bc03928 (diff) | |
download | subsurface-8b36cf10518c54d76134686a3e079bbde176022b.tar.gz |
desktop: offer different colors for info tab titles
Add a preference option to set the color of the text on the information tab to
either MediumBlue, LightBlue or Black. The last two of these colors are meant
to enable areadable font contrast on displays with dark mode.
The choice is saved with the other preferences.
[Dirk Hohndel: this isn't really about dark mode, so changed many of the types
and variable names, changed the user visible texts, and
addressed some whitespace issues]
Signed-off-by: willemferguson <willemferguson@zoology.up.ac.za>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'desktop-widgets/tab-widgets/TabDiveExtraInfo.h')
0 files changed, 0 insertions, 0 deletions