1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-04 10:04:12 +01:00

Replace 'laststatus' with a 'guioptions' flag.

This commit is contained in:
Kris Maglione
2010-11-14 22:47:02 -05:00
parent 2518a3423f
commit 1abe9fc2bb
8 changed files with 10 additions and 56 deletions

View File

@@ -1161,7 +1161,9 @@ const Dactyl = Module("dactyl", {
}
},
{
opts: config.guioptions,
opts: update({
s: ["Status bar", [statusline.statusBar.id]]
}, config.guioptions),
setter: function (opts) {
for (let [opt, [, ids]] in Iterator(this.opts)) {
ids.map(function (id) document.getElementById(id))