make highlight rules case-insensitive by default
authorDaniel Albers <daniel@lbe.rs>
Wed, 26 Feb 2014 23:39:56 +0000 (00:39 +0100)
committerDaniel Albers <daniel@lbe.rs>
Tue, 4 Mar 2014 19:07:55 +0000 (20:07 +0100)
commita0e6720b1c9622548c17c73b6771ada759959f6a
tree2d4d1d840d532f48767e98f3d171fd9664c6e73d
parent44212b2131e958c40ca26b9f49289590d8f83145
make highlight rules case-insensitive by default
src/qtui/settingspages/highlightsettingspage.h