Update styles of "tabs in titlebar" correctly for non-top tab bar #1188

This commit is contained in:
Piro / YUKI Hiroshi 2016-09-12 01:11:21 +09:00
parent 771a3bd631
commit aa3a6a859e

View File

@ -47,8 +47,13 @@ var TreeStyleTabWindowHelper = {
TabsInTitlebar._update = function(...aArgs) { TabsInTitlebar._update = function(...aArgs) {
// See: https://dxr.mozilla.org/mozilla-central/rev/dbe4b47941c7b3d6298a0ead5e40dd828096c808/browser/base/content/browser-tabsintitlebar.js#104 // See: https://dxr.mozilla.org/mozilla-central/rev/dbe4b47941c7b3d6298a0ead5e40dd828096c808/browser/base/content/browser-tabsintitlebar.js#104
let result = this.__treestyletab__update(...aArgs); let result = this.__treestyletab__update(...aArgs);
if (gBrowser.treeStyleTab && // possibly not available while the startup process if (
gBrowser.treeStyleTab.position == 'top') { gBrowser.treeStyleTab && // possibly not available while the startup process
(
gBrowser.treeStyleTab.position != 'top' ||
!gBrowser.treeStyleTab.isFixed
)
) {
let heightOfItemsInTitlebar = 0; let heightOfItemsInTitlebar = 0;
if (AppConstants.platform != 'macosx') { if (AppConstants.platform != 'macosx') {
let menubar = document.getElementById('toolbar-menubar'); let menubar = document.getElementById('toolbar-menubar');