gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-01-01 12:12:28 +01:00
Code Issues Projects Releases Wiki Activity

Make the status bar properly customizable and remove some useless vertical space in the navbar.

Browse Source
This commit is contained in:
Kris Maglione
2014-02-16 22:48:07 -08:00
parent d9c39262a6
commit 5aceb5f61d
5 changed files with 24 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
common/content/key-processors.js
View File

@@ -1,4 +1,4 @@
// Copyright (c) 2008-2013 Kris Maglione <maglione.k at Gmail>
// Copyright (c) 2008-2014 Kris Maglione <maglione.k at Gmail>
//
// This work is licensed for reuse under an MIT license. Details are
// given in the LICENSE.txt file included with this file.
@@ -107,8 +107,8 @@ var ProcessorStack = Class("ProcessorStack", {
this.timer = services.Timer(this, options["timeoutlen"], services.Timer.TYPE_ONE_SHOT);
}
else if (result !== Events.KILL && !this.actions.length &&
!(this.events[0].isReplay || this.passUnknown
|| this.modes.some(function (m) m.passEvent(this), this.events[0]))) {
!(this.events[0].isReplay || this.passUnknown ||
this.modes.some(function (m) m.passEvent(this), this.events[0]))) {
// No patching processors, this isn't a fake, pass-through
// event, we're not in pass-through mode, and we're not
// choosing to pass unknown keys. Kill the event and beep.

12
common/content/statusline.js
View File

@@ -22,6 +22,9 @@ var StatusLine = Module("statusline", {
append: [
["vbox", { id: "browser-bottombox", xmlns: "xul" },
["toolbar", { id: "dactyl-addon-bar",
customizable: true,
defaultset: "",
toolboxid: "navigator-toolbox",
toolbarname: /*L*/ "Add-on Bar",
class: "toolbar-primary chromeclass-toolbar",
mode: "icons",
@@ -55,7 +58,7 @@ var StatusLine = Module("statusline", {
-moz-appearance: none !important;
<padding>
}
!AddonButton;:-moz-any(#addon-bar, #dactyl-addon-bar) xul|toolbarbutton {
!AddonButton;,:-moz-any(#addon-bar, #dactyl-addon-bar) xul|toolbarbutton {
-moz-appearance: none !important;
padding: 0 !important;
border-width: 0px !important;
@@ -117,6 +120,13 @@ var StatusLine = Module("statusline", {
catch (e) {}
},
cleanup: function cleanup(reason) {
util.dump("CLEANUP " + reason);
util.dump(this.statusBar.id, document.getElementById(this.statusBar.id));
if (reason != "unload" && "CustomizableUI" in window)
CustomizableUI.unregisterArea(this.statusBar.id, false);
},
get visible() !this.statusBar.collapsed && !this.statusBar.hidden,
signals: {