From 909a6583386203d54d4222c5c552a52303b8e2fb Mon Sep 17 00:00:00 2001 From: Kris Maglione Date: Thu, 23 Dec 2010 20:25:09 -0500 Subject: [PATCH] Some minor improvements to the previous changeset. --HG-- branch : bootstrapped --- common/content/dactyl.xul | 5 +-- common/content/statusline.js | 75 ++++++++++++++++++------------------ common/modules/util.jsm | 2 +- 3 files changed, 39 insertions(+), 43 deletions(-) diff --git a/common/content/dactyl.xul b/common/content/dactyl.xul index d800941f..20fc35f8 100644 --- a/common/content/dactyl.xul +++ b/common/content/dactyl.xul @@ -9,12 +9,9 @@ --> + - - - ]> + + + + + + ; + + for each (let attr in append..@key) + attr.parent().@id = "dactyl-statusline-field-" + attr; util.overlayWindow(window, { - append: - - - - - - .* + objects: this.widgets = { get status() this.container }, + append: append.* }); this._statusLine = document.getElementById("status-bar"); this.statusBar = document.getElementById("addon-bar") || this._statusLine; this.statusBar.collapsed = true; // it is later restored unless the user sets laststatus=0 - // our status bar fields - this.widgets = array(["container", "url", "inputbuffer", "progress", "tabcount", "bufferposition", "zoomlevel"] - .map(function (field) [field, document.getElementById("dactyl-statusline-field-" + field)])) - .toObject(); - this.widgets.status = this.widgets.container; if (this.statusBar.localName == "toolbar") { styles.system.add("addon-bar", config.styleableChrome,