From: Johannes Sixt <j6t@kdbg.org>
Date: Thu, 12 Dec 2024 18:43:36 GMT
Subject: Re: [PATCH 1/2] gitk: make headings of preferences bold
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