gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2026-04-24 06:31:26 +02:00
Code Issues Projects Releases Wiki Activity

Fix stal=0 on FF36. Closes issue #37.

Browse Source
This commit is contained in:
Kris Maglione
2010-10-04 10:43:56 -04:00
parent 9fdf43d46e
commit 226e411420
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
common/content/tabs.js
+4 -4
View File
@@ -34,7 +34,9 @@ const Tabs = Module("tabs", {
config.tabStrip.collapsed = true; config.tabStrip.collapsed = true;
this.tabStyle = styles.addSheet(true, "tab-strip-hiding", config.styleableChrome, this.tabStyle = styles.addSheet(true, "tab-strip-hiding", config.styleableChrome,
"", false, true) (config.tabStrip.id ? "#" + config.tabStrip.id : ".tabbrowser-strip") +
"{ visibility: collapse; }",
false, true)
dactyl.commands["tabs.select"] = function (event) { dactyl.commands["tabs.select"] = function (event) {
tabs.select(event.originalTarget.getAttribute("identifier")); tabs.select(event.originalTarget.getAttribute("identifier"));
@@ -988,10 +990,8 @@ const Tabs = Module("tabs", {
setter: function (value) { setter: function (value) {
let tabStrip = config.tabStrip; let tabStrip = config.tabStrip;
if (value == 0) { if (value == 0)
tabs.tabStyle.css = "#" + tabStrip.id + " { visibility: collapse; }"
tabs.tabStyle.enabled = true; tabs.tabStyle.enabled = true;
}
else { else {
options.safeSetPref("browser.tabs.autoHide", value == 1, options.safeSetPref("browser.tabs.autoHide", value == 1,
"See 'showtabline' option."); "See 'showtabline' option.");