kill reloadforce and make all reloads actually reload instead of
treeacef61148a933d2afb1513d8bc6ba2b31fdf3574
-rw-r--r-- 1147 Makefile
-rw-r--r-- 181 favorites
drwxr-xr-x - freebsd
-rw-r--r-- 8934 hinting.js
-rw-r--r-- 906 input-focus.js
-rw-r--r-- 925 js-merge-helper.pl
drwxr-xr-x - linux
-rw-r--r-- 1231 marco.c
-rw-r--r-- 500 playflash.sh
-rw-r--r-- 357 quickmarks
-rw-r--r-- 353 release.sh
-rw-r--r-- 3350 style.css
-rw-r--r-- 28535 xxxterm.1
-rw-r--r-- 220729 xxxterm.c
-rw-r--r-- 6606 xxxterm.conf
-rw-r--r-- 297 xxxterm.desktop
-rw-r--r-- 39398 xxxtermicon.png
-rw-r--r-- 14798 xxxtermicon128.png
-rw-r--r-- 626 xxxtermicon16.png
-rw-r--r-- 1588 xxxtermicon32.png
-rw-r--r-- 3046 xxxtermicon48.png
-rw-r--r-- 4653 xxxtermicon64.png