]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9950eff) | patch
gitk: eliminate Interface color option from gui
authorMark Levedahl <mlevedahl@gmail.com>
Tue, 23 Sep 2025 11:48:40 +0000 (07:48 -0400)
committerMark Levedahl <mlevedahl@gmail.com>
Tue, 30 Sep 2025 00:53:55 +0000 (20:53 -0400)
commit1eadf0f3e065ce8967279fcb1fedc0f29f3fca2a
tree6bb16ae4c099df1c708cd99a1baa05e1f1d12bdctree | snapshot
parent9950eff84178459a90c6047bb168659b05a998e6commit | 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>
gitk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.