Update vertical-tabs.css to apply dynamic padding for improved layout consistency

This commit is contained in:
mr. M
2025-01-27 01:05:36 +01:00
parent b9ae18a0ca
commit 9203918788
3 changed files with 16 additions and 4 deletions

View File

@@ -35,6 +35,7 @@ var gZenUIManager = {
} }
tab.style.maxHeight = '0px'; tab.style.maxHeight = '0px';
} }
tabs.style.flex = '1';
tabs.style.removeProperty('max-height'); tabs.style.removeProperty('max-height');
const toolbarRect = tabs.getBoundingClientRect(); const toolbarRect = tabs.getBoundingClientRect();
let height = toolbarRect.height; let height = toolbarRect.height;
@@ -44,6 +45,7 @@ var gZenUIManager = {
} }
tab.style.removeProperty('max-height'); tab.style.removeProperty('max-height');
} }
tabs.style.removeProperty('flex');
tabs.style.maxHeight = height + 'px'; tabs.style.maxHeight = height + 'px';
}, },

View File

@@ -356,7 +356,6 @@
#zen-browser-tabs-wrapper { #zen-browser-tabs-wrapper {
min-height: fit-content; min-height: fit-content;
overflow-y: scroll; overflow-y: scroll;
height: 100%;
} }
#vertical-pinned-tabs-container { #vertical-pinned-tabs-container {

View File

@@ -1,13 +1,24 @@
diff --git a/toolkit/content/widgets/arrowscrollbox.js b/toolkit/content/widgets/arrowscrollbox.js diff --git a/toolkit/content/widgets/arrowscrollbox.js b/toolkit/content/widgets/arrowscrollbox.js
index 328c770d275ebbaada8a44438eaf738b1a62d985..01256a9b4510b27e180e8b11f1436621ad3e45b5 100644 index 328c770d275ebbaada8a44438eaf738b1a62d985..c7d178295745ed975f5a3e5dea028dbeeece1704 100644
--- a/toolkit/content/widgets/arrowscrollbox.js --- a/toolkit/content/widgets/arrowscrollbox.js
+++ b/toolkit/content/widgets/arrowscrollbox.js +++ b/toolkit/content/widgets/arrowscrollbox.js
@@ -639,7 +639,7 @@ @@ -121,8 +121,10 @@
);
});
});
+ if (this.id !== 'tabbrowser-arrowscrollbox') {
overflowObserver.observe(slot);
overflowObserver.observe(this.scrollbox);
+ }
}
connectedCallback() {
@@ -639,7 +641,7 @@
on_wheel(event) { on_wheel(event) {
// Don't consume the event if we can't scroll. // Don't consume the event if we can't scroll.
- if (!this.overflowing) { - if (!this.overflowing) {
+ if (!this.overflowing || true) { // we handle this on ZenStartup + if (!this.overflowing || this.id === 'tabbrowser-arrowscrollbox') { // we handle this on ZenStartup
return; return;
} }