1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-02-01 08:05:44 +01:00

More cleanup. Fix some Teledactyl bugginess.

This commit is contained in:
Kris Maglione
2011-09-29 21:25:17 -04:00
parent acd13342a4
commit 0cf1151e0a
21 changed files with 813 additions and 716 deletions

View File

@@ -1377,7 +1377,7 @@ var Dactyl = Module("dactyl", XPCOM(Ci.nsISupportsWeakReference, ModuleBase), {
options.add(["guioptions", "go"],
"Show or hide certain GUI elements like the menu or toolbar",
"charlist", config.defaults.guioptions || "", {
"charlist", "", {
// FIXME: cleanup
cleanupValue: config.cleanups.guioptions ||
@@ -1406,7 +1406,7 @@ var Dactyl = Module("dactyl", XPCOM(Ci.nsISupportsWeakReference, ModuleBase), {
options.add(["titlestring"],
"The string shown at the end of the window title",
"string", config.defaults.titlestring || config.host,
"string", config.host,
{
setter: function (value) {
let win = document.documentElement;