]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b952bd0) | patch
gitk: make headings of preferences bold
authorChristoph Sommer <sommer@cms-labs.org>
Thu, 5 Dec 2024 19:29:39 +0000 (20:29 +0100)
committerJohannes Sixt <j6t@kdbg.org>
Mon, 9 Dec 2024 19:58:02 +0000 (20:58 +0100)
commitb2490ae42f00f6a40b8fd83d2b2069eb15ef84e2
tree28fddf44bff05df8b069cd6e2eb54aa42612f1a3tree
parentb952bd0c2efc51e1c6d1aff71c116ebd1c8b7432commit | diff
gitk: make headings of preferences bold

Make preference groups like "Diff display options" stand out more.

Signed-off-by: Christoph Sommer <sommer@cms-labs.org>
Signed-off-by: Johannes Sixt <j6t@kdbg.org>
gitk diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.