Stefan Haller

@stefanhaller on GitHub. Posts as stefan@haller-berlin.de.

messages

patches posted

58%

of 12 series merged

threads started

2012

first message, Sep 18, 2012

Dec 19, 2020

since the latest message

Messages per year

The last 24 months

Patch series

Of 12 patch series (re-rolls counted once), 7 landed on master and 5 did not.

mergedgit-gui: use gray selection background for inactive text widgetsv3, Dec 18, 2020, da4d86da97
mergedgit-gui: fix colored label backgrounds on MacNov 22, 2020, f9481b195b
not mergedgit-gui: Auto-rescan on activatev2, Nov 3, 2020
not mergedgitk: Add options --select-file and --select-linev2, Oct 15, 2020
not mergedgit-gui: Make usettk off by default on Mac OS XOct 13, 2020
not mergedgit-gui blame: prevent tool tips from sticking around after Command-TabOct 13, 2020
not mergedgitk: Add "First parent" checkboxOct 31, 2013
mergedgit-gui: bring Wish process to front on Macv2, Jun 7, 2013, 7d2017e773
mergedgitk: Fix error message when clicking on a connecting lineOct 4, 2012, ce837c9de5
mergedgitk: Work around empty back and forward images when buttons are disabledSep 22, 2012, f062e50fe6
mergedgitk: Better highlighting of search resultsSep 22, 2012, c46149942a
mergedgitk: Synchronize highlighting in file view when scrolling diffv3, Sep 19, 2012, b967135d89

A series is merged when one of its patches matches a commit on master by the same author, by subject. Versions are linked when they share a patch subject. Patches reworded before landing, or applied under someone else's name, count as not merged.

Recent emails

Dec 19, 2020Re: [PATCH v2] gitk: Add options --select-file and --select-line
Dec 18, 2020Re: [PATCH v2] git-gui: use gray background for inactive text widgets
Dec 18, 2020git-gui: use gray background for inactive text widgets
Dec 17, 2020Re: [PATCH v2] git-gui: use gray background for inactive text widgets
Dec 17, 2020git-gui patches
Dec 8, 2020Re: [PATCH 1/1] git-gui: fix colored label backgrounds when using themed widgets
Dec 2, 2020Re: bugreport
Dec 2, 2020Re: [PATCH 1/1] git-gui: fix colored label backgrounds when using themed widgets
Nov 30, 2020git-gui: keep showing selection when diff view gets deactivated on Mac
Nov 30, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 29, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 24, 2020git-gui: use gray background for inactive text widgets
Nov 24, 2020Re: [PATCH] git-gui: Fix selected text colors
Nov 23, 2020Re: [PATCH] git-gui: Fix selected text colors
Nov 23, 2020Re: [PATCH] git-gui: use gray selection background for inactive text widgets
Nov 23, 2020git-gui: use gray selection background for inactive text widgets
Nov 22, 2020git-gui: fix colored label backgrounds when using themed widgets
Nov 22, 2020git-gui: fix colored label backgrounds on Mac
Nov 22, 2020Re: [PATCH] git-gui: Fix selected text colors
Nov 21, 2020Re: [PATCH v2] git-gui: Basic dark mode support
Nov 18, 2020Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate
Nov 17, 2020Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate
Nov 14, 2020Re: [PATCH v2 1/1] git-gui: Auto-rescan on activate
Nov 3, 2020Re: [PATCH 00/14] completion: a bunch of updates
Nov 3, 2020git-gui: Auto-rescan on activate
Nov 3, 2020git-gui: Auto-rescan on activate
Nov 2, 2020Re: [PATCH 2/2] git-gui: Auto-rescan on activate
Nov 2, 2020Re: [PATCH 1/2] git-gui: Delay rescan until idle time
Nov 2, 2020Re: [PATCH 0/2] git-gui: Auto-rescan on activate
Nov 1, 2020git-gui: Auto-rescan on activate