this webkit bug has been fixed
tree8679024c20eed1096b73e06a921e70190e9e5a71
-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-- 28607 xxxterm.1
-rw-r--r-- 220663 xxxterm.c
-rw-r--r-- 6637 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