apply case sensitivity setting to history as well
treec33a75eba4092d4333bb2615241fd401b51209aa
-rw-r--r-- 34 .gitignore
-rw-r--r-- 153 INSTALL
-rw-r--r-- 1205 LICENSE
-rw-r--r-- 1582 Makefile
-rw-r--r-- 579 callbacks.c
-rw-r--r-- 488 callbacks.h
-rw-r--r-- 13727 config.h
-rw-r--r-- 79 description
-rw-r--r-- 8934 hinting.js
-rw-r--r-- 436 includes.h
-rw-r--r-- 906 input-focus.js
-rw-r--r-- 994 js-merge-helper.pl
-rw-r--r-- 8933 keymap.h
-rw-r--r-- 87324 main.c
-rw-r--r-- 336 main.h
-rw-r--r-- 10346 utilities.c
-rw-r--r-- 945 utilities.h
-rw-r--r-- 4039 vimprobable.h
-rw-r--r-- 5077 vimprobable2.1
-rw-r--r-- 4313 vimprobablerc.1