projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 12b219f) | patch
git-gui: add smart case search mode in searchbar
authorBert Wesarg <bert.wesarg@googlemail.com>
Fri, 14 Oct 2011 08:14:50 +0000 (10:14 +0200)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 18 Oct 2011 08:27:28 +0000 (09:27 +0100)
commit0a0243d7333a5c0de107170d02f667c37fb4dc54
treebe1f1d975b06a7654abb131266cb60d707c2e70ftree | snapshot
parent12b219f7f95f2d089e49140dcb1c2dd6259ff5cfcommit | diff
git-gui: add smart case search mode in searchbar

Setting config gui.search.smartcase to true, the search mode in the
searchbar (from the blame view) is by default case-insensitive. But
entering an upper case letter into the search field activates the case-
sensitive search mode.

Signed-off-by: Bert Wesarg <bert.wesarg@googlemail.com>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
lib/search.tcl diff | blob | history
Git—the stupid content tracker