[GIT PULL] gitk: MacOS preferences fix, minor fixes

The following changes since commit 3fdbf184be906b5f6abb35c02842ec8ad861e8f9:

  Merge branch 'at/translation-tamil' (2025-05-09 18:01:02 +0200)

are available in the Git repository at:

  https://github.com/j6t/gitk.git master

for you to fetch changes up to bfb0fa7099e541c15d103b75f453f613a751da03:

  Merge branch 'top-panel-search-highlight' of github.com:bnfour/gitk (2025-05-22 19:15:31 +0200)

----------------------------------------------------------------
Alexander Ogorodov (1):
      gitk: do not hard-code color of search results in commit list

Johannes Sixt (3):
      gitk: place file name arguments after options in msgfmt call
      Merge branch 'yh/fix-non-themed-combobox'
      Merge branch 'top-panel-search-highlight' of github.com:bnfour/gitk

YOKOTA Hiroshi (1):
      gitk: Legacy widgets doesn't have combobox

 Makefile |  2 +-
 gitk     | 10 ++++------
 2 files changed, 5 insertions(+), 7 deletions(-)

Small correction, just for posterity: the preferences fix is this one and affects all platforms, not just MacOS.

Am 29.05.25 um 10:07 schrieb Johannes Sixt:

Johannes Sixt <j6t@kdbg.org> writes:

Thanks.