bugfix: disable hinting mode if a new page is loaded, but not via hinting
treeea294f5f2eebe233c2dabfd6bc9a6ddedb1c17f6
-rw-r--r-- 34 .gitignore
-rw-r--r-- 153 INSTALL
-rw-r--r-- 1273 LICENSE
-rw-r--r-- 2060 Makefile
-rw-r--r-- 5504 PATCHES
-rw-r--r-- 744 callbacks.c
-rw-r--r-- 487 callbacks.h
-rw-r--r-- 14936 config.h
-rw-r--r-- 108 description
-rw-r--r-- 15427 hinting.js
-rw-r--r-- 435 includes.h
-rw-r--r-- 763 js-merge-helper.pl
-rw-r--r-- 10294 keymap.h
-rw-r--r-- 88714 main.c
-rw-r--r-- 335 main.h
-rw-r--r-- 25111 utilities.c
-rw-r--r-- 1456 utilities.h
-rw-r--r-- 4998 vimprobable.h
-rw-r--r-- 8071 vimprobable2.1
-rw-r--r-- 5878 vimprobablerc.5