Added preference window.
treee87f139546a893284f9889d98c0471105a8cc1c6
-rw-r--r-- 32 .gitignore
-rw-r--r-- 504 Makefile
-rw-r--r-- 6994 extension.js
-rw-r--r-- 810 lib.js
-rw-r--r-- 338 metadata.json
-rw-r--r-- 3096 prefs.js
drwxr-xr-x - schemas
-rw-r--r-- 39 stylesheet.css