1
0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-20 02:57:59 +01:00

Fix ruddy unnecessarilly padded, oversized Add-on Bar buttons.

This commit is contained in:
Kris Maglione
2011-01-04 12:53:40 -05:00
parent 63899b7598
commit 26b4933b75
2 changed files with 3 additions and 0 deletions

View File

@@ -24,6 +24,7 @@ var StatusLine = Module("statusline", {
]]></css>);
highlight.loadCSS(<![CDATA[
!AddonBar;#addon-bar padding: 0 !important; min-height: 18px !important; -moz-appearance: none !important;
!AddonButton;#addon-bar>xul|toolbarbutton -moz-appearance: none !important; padding: 0 !important;
]]>);
}

View File

@@ -55,6 +55,8 @@ var JavaScript = Module("javascript", {
let seen = isinstance(obj, ["Sandbox"]) ? set(JavaScript.magicalNames) : {};
let globals = values(toplevel && this.window === obj ? this.globalNames : []);
if (toplevel && "wrappedJSObject" in obj)
yield "wrappedJSObject";
for (let key in iter(globals, properties(obj, !toplevel, true)))
if (!set.add(seen, key))
yield key;