diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2020-11-04 14:29:48 -0800 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2020-11-04 14:51:55 -0800 |
| commit | be3190db8a14fc51d88c65f5359b9b7787acd2a7 (patch) | |
| tree | 6ddd57c9aca8e57b669d3627ea38caba3187ed80 /.gitignore | |
| parent | 6201ac34b412eb57e0ca03401da22ed9ae683c38 (diff) | |
| download | subsurface-be3190db8a14fc51d88c65f5359b9b7787acd2a7.tar.gz | |
revert preference settings for title color
Because of subsequent changes there is no clean way to just revert the changes
introduced in commit 8b36cf1051 ("desktop: offer different colors for info tab
titles"), so this manually removes the parts we don't need anymore.
This also restores a tooltip value that was inadvertantly removed in that
commit.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions