Re: [PATCH 1/2] gitk: make headings of preferences bold
- From
Johannes Sixt <j6t@kdbg.org>
- Date
- Dec 12, 2024, 18:43 UTC
- Message-ID
- <9dd297db-1c87-455b-bb95-fbc174b8a6ca@kdbg.org>
- In-Reply-To
- <d58ce9d609d8a5da3edd1e1061d84919af12b02d.1733767737.git.gitgitgadget@gmail.com>
Am 09.12.24 um 19:08 schrieb Christoph Sommer via GitGitGadget:
> From: Christoph Sommer <sommer@cms-labs.org> > > Make preference groups like "Diff display options" stand out more.
This is a nice and obvious improvement.
-- Hannes