make the browser obtain the correct session name upon restart
tree6465a9d30cb31acd6f2c0b9e19db94b7b0a100ee
-rw-r--r-- 997 Makefile
-rw-r--r-- 181 favorites
-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-- 17147 xxxterm.1
-rw-r--r-- 157789 xxxterm.c
-rw-r--r-- 2496 xxxterm.conf
-rw-r--r-- 344 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