git-gui: enable the smart case sensitive search only if gui.search.smartcase is true
authorPat Thoyts <patthoyts@users.sourceforge.net>
Wed, 19 Oct 2011 12:29:52 +0000 (13:29 +0100)
committerPat Thoyts <patthoyts@users.sourceforge.net>
Wed, 19 Oct 2011 12:29:52 +0000 (13:29 +0100)
commit8eaf24b...3bdb49d5adfb2f52f0f14dd01735db37
tree36bf7f6...526310f144ed3668c470a5b11ac9fe48copy hash to clipboard (tree)
parentb66f4f7...a750ebebbd5186e1cafeee76df4691f8copy hash to clipboard (diff)
lib/search.tcl