Refactor ZenSidebarManager to adjust parentRelativeHeight calculation

This commit is contained in:
mauro-balades 2024-09-18 22:05:31 +02:00
parent 0f775df5e6
commit 72396b8f55
2 changed files with 3 additions and 3 deletions

View file

@ -79,7 +79,7 @@ var gZenBrowserManagerSidebar = {
// relative to avoid the top margin
// 20px is the padding
let parentRelativeHeight =
parent.getBoundingClientRect().height - parent.getBoundingClientRect().top + sidebar.getBoundingClientRect().top - 20;
parent.getBoundingClientRect().height - parent.getBoundingClientRect().top + sidebar.getBoundingClientRect().top - 30;
let minHeight = parseInt(computedStyle.getPropertyValue('min-height').replace('px', ''));
if (!this._isDragging) {
// Prevent multiple resizes

View file

@ -344,14 +344,14 @@ var ZenWorkspaces = {
button.removeAttribute('hidden');
return;
}
let browserTabs = document.getElementById('tabbrowser-tabs');
const nextSibling = document.getElementById('zen-sidepanel-button');
let button = document.createElement('toolbarbutton');
button.id = 'zen-workspaces-button';
button.className = 'toolbarbutton-1 chromeclass-toolbar-additional';
button.setAttribute('label', 'Workspaces');
button.setAttribute('tooltiptext', 'Workspaces');
button.onclick = this.openWorkspacesDialog.bind(this);
browserTabs.insertAdjacentElement('beforebegin', button);
nextSibling.before(button);
},
async _updateWorkspacesButton() {