# Stefan Haller GitHub: https://github.com/stefanhaller Addresses: stefan@haller-berlin.de Messages: 53. Patches: 27. Threads started: 10. First message: 2012-09-18T05:57:54Z. Latest: 2020-12-19T10:22:19Z. ## Messages per year | Year | Messages | Patches | |---|---|---| | 2012 | 10 | 9 | | 2013 | 4 | 3 | | 2020 | 39 | 15 | ## Patch series 7 merged, 5 not merged, 0 in review (posted in the last 90 days); acceptance rate 58%. Re-rolls count once; merged means a patch matches a commit on master by the same author. - 2020-12-18 merged (v3): [git-gui: use gray selection background for inactive text widgets](https://gitlist.dev/t/54124) commit da4d86da97a3 - 2020-11-22 merged: [git-gui: fix colored label backgrounds on Mac](https://gitlist.dev/t/54690) commit f9481b195b86 - 2020-11-03 not merged (v2): [git-gui: Auto-rescan on activate](https://gitlist.dev/t/54549) - 2020-10-15 not merged (v2): [gitk: Add options --select-file and --select-line](https://gitlist.dev/t/54415) - 2020-10-13 not merged: [git-gui: Make usettk off by default on Mac OS X](https://gitlist.dev/t/54408) - 2020-10-13 not merged: [git-gui blame: prevent tool tips from sticking around after Command-Tab](https://gitlist.dev/t/54405) - 2013-10-31 not merged: [gitk: Add "First parent" checkbox](https://gitlist.dev/t/35247) - 2013-06-07 merged (v2): [git-gui: bring Wish process to front on Mac](https://gitlist.dev/t/34037) commit 7d2017e7738a - 2012-10-04 merged: [gitk: Fix error message when clicking on a connecting line](https://gitlist.dev/t/31699) commit ce837c9de5d6 - 2012-09-22 merged: [gitk: Work around empty back and forward images when buttons are disabled](https://gitlist.dev/t/31626) commit f062e50fe69e - 2012-09-22 merged: [gitk: Better highlighting of search results](https://gitlist.dev/t/31625) commit c46149942ada - 2012-09-19 merged (v3): [gitk: Synchronize highlighting in file view when scrolling diff](https://gitlist.dev/t/31581) commit b967135d89e8 ## Recent emails - 2020-12-19 [Re: [PATCH v2] gitk: Add options --select-file and --select-line](https://gitlist.dev/e/bd940f73-ca2f-fe21-ea0a-fcd5f40af683%40haller-berlin.de) - 2020-12-18 [Re: [PATCH v2] git-gui: use gray background for inactive text widgets](https://gitlist.dev/e/90975583-17ad-0d53-5919-fe1c8400291c%40haller-berlin.de) - 2020-12-18 [[PATCH v3] git-gui: use gray background for inactive text widgets](https://gitlist.dev/e/20201218094314.22138-1-stefan%40haller-berlin.de) - 2020-12-17 [Re: [PATCH v2] git-gui: use gray background for inactive text widgets](https://gitlist.dev/e/63356203-8af0-64e5-4694-f47d31bcdee6%40haller-berlin.de) - 2020-12-17 [git-gui patches](https://gitlist.dev/e/b76cf18c-91ff-342b-af26-7b2a67bd6d8a%40haller-berlin.de) - 2020-12-08 [Re: [PATCH 1/1] git-gui: fix colored label backgrounds when using themed widgets](https://gitlist.dev/e/55dfab3f-e031-615f-435a-aad78d0a0c73%40haller-berlin.de) - 2020-12-02 [Re: bugreport](https://gitlist.dev/e/e9020543-a5b5-c49b-3286-23a1db04da3d%40haller-berlin.de) - 2020-12-02 [Re: [PATCH 1/1] git-gui: fix colored label backgrounds when using themed widgets](https://gitlist.dev/e/c8cbdfa1-f3f3-725a-124d-6f70b96767d1%40haller-berlin.de) - 2020-11-30 [[PATCH] git-gui: keep showing selection when diff view gets deactivated on Mac](https://gitlist.dev/e/20201130201837.19091-2-stefan%40haller-berlin.de) - 2020-11-30 [Re: [PATCH] git-gui: use gray selection background for inactive text widgets](https://gitlist.dev/e/20201130201837.19091-1-stefan%40haller-berlin.de) - 2020-11-29 [Re: [PATCH] git-gui: use gray selection background for inactive text widgets](https://gitlist.dev/e/1a42781d-0e4c-6478-f26d-5eccbd9c6205%40haller-berlin.de) - 2020-11-24 [[PATCH v2] git-gui: use gray background for inactive text widgets](https://gitlist.dev/e/20201124212333.80040-1-stefan%40haller-berlin.de) - 2020-11-24 [Re: [PATCH] git-gui: Fix selected text colors](https://gitlist.dev/e/55348fbb-95bb-1dd2-4e17-4fc622ae7603%40haller-berlin.de) - 2020-11-23 [Re: [PATCH] git-gui: Fix selected text colors](https://gitlist.dev/e/b4571217-ea98-a282-48d3-e9679c600f4c%40haller-berlin.de) - 2020-11-23 [Re: [PATCH] git-gui: use gray selection background for inactive text widgets](https://gitlist.dev/e/23d6eb6c-4c7b-b9dd-d0df-fe0feaa0dc17%40haller-berlin.de) - 2020-11-23 [[PATCH] git-gui: use gray selection background for inactive text widgets](https://gitlist.dev/e/20201123114805.48800-1-stefan%40haller-berlin.de) - 2020-11-22 [[PATCH 1/1] git-gui: fix colored label backgrounds when using themed widgets](https://gitlist.dev/e/20201122194537.41870-2-stefan%40haller-berlin.de) - 2020-11-22 [[PATCH 0/1] git-gui: fix colored label backgrounds on Mac](https://gitlist.dev/e/20201122194537.41870-1-stefan%40haller-berlin.de) - 2020-11-22 [Re: [PATCH] git-gui: Fix selected text colors](https://gitlist.dev/e/2436cd2e-26b9-a7cc-722a-7f27212f58f4%40haller-berlin.de) - 2020-11-21 [Re: [PATCH v2] git-gui: Basic dark mode support](https://gitlist.dev/e/7553c99f-1dea-0c1d-e5b0-2103333a76b7%40haller-berlin.de) - 2020-11-18 [Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate](https://gitlist.dev/e/e691c62c-7fb2-6a7d-0f02-7c0ab021f738%40haller-berlin.de) - 2020-11-17 [Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate](https://gitlist.dev/e/4a37f6ce-276f-1c7e-1252-085a6f28c95b%40haller-berlin.de) - 2020-11-14 [Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate](https://gitlist.dev/e/14be00ae-c2b6-87eb-2f4b-964a6df7b230%40haller-berlin.de) - 2020-11-03 [Re: [PATCH 00/14] completion: a bunch of updates](https://gitlist.dev/e/1815f1ab-b293-e948-9624-76fc83d66d99%40haller-berlin.de) - 2020-11-03 [[PATCH v2 1/1] git-gui: Auto-rescan on activate](https://gitlist.dev/e/20201103161631.89971-2-stefan%40haller-berlin.de) - 2020-11-03 [[PATCH v2 0/1] git-gui: Auto-rescan on activate](https://gitlist.dev/e/20201103161631.89971-1-stefan%40haller-berlin.de) - 2020-11-02 [Re: [PATCH 2/2] git-gui: Auto-rescan on activate](https://gitlist.dev/e/9e3ceab4-319e-8766-1a7e-ddb36e8ecabb%40haller-berlin.de) - 2020-11-02 [Re: [PATCH 1/2] git-gui: Delay rescan until idle time](https://gitlist.dev/e/def489e0-c888-8a2b-e49c-598034f683e7%40haller-berlin.de) - 2020-11-02 [Re: [PATCH 0/2] git-gui: Auto-rescan on activate](https://gitlist.dev/e/fe2f24e8-52f2-81fe-0ebd-ecd90b1acfb4%40haller-berlin.de) - 2020-11-01 [[PATCH 2/2] git-gui: Auto-rescan on activate](https://gitlist.dev/e/20201101170505.71246-3-stefan%40haller-berlin.de)