diff options
| author | Mark Levedahl <mlevedahl@gmail.com> | 2025-09-23 07:48:40 -0400 |
|---|---|---|
| committer | Mark Levedahl <mlevedahl@gmail.com> | 2025-09-29 20:53:55 -0400 |
| commit | 1eadf0f3e065ce8967279fcb1fedc0f29f3fca2a (patch) | |
| tree | 6bb16ae4c099df1c708cd99a1baa05e1f1d12bdc /refs/files-backend.c | |
| parent | 9950eff84178459a90c6047bb168659b05a998e6 (diff) | |
gitk: eliminate Interface color option from gui
gitk offers to change the ui color on the colors prefs page, but the
variable set has no effect because gitk is using themes. Let's eliminate
the "Interface" color selection option from that page.
Signed-off-by: Mark Levedahl <mlevedahl@gmail.com>
Diffstat (limited to 'refs/files-backend.c')
0 files changed, 0 insertions, 0 deletions