Merge branch 'dev' into feature/tab-rename

This commit is contained in:
mr. m
2025-02-07 23:09:07 +01:00
committed by GitHub
26 changed files with 2146 additions and 129 deletions

View File

@@ -29,6 +29,7 @@ var gZenUIManager = {
});
window.addEventListener('TabClose', this.onTabClose.bind(this));
this.tabsWrapper.addEventListener('scroll', this.saveScrollbarState.bind(this));
},
updateTabsToolbar() {
@@ -68,10 +69,13 @@ var gZenUIManager = {
this._scrollbarState = this.tabsWrapper.scrollTop;
},
restoreScrollbarState() {
this.tabsWrapper.scrollTop = this._scrollbarState;
},
onTabClose(event) {
this.updateTabsToolbar();
this.tabsWrapper.scrollTop = this._scrollbarState;
this._scrollbarState = 0;
this.restoreScrollbarState();
},
openAndChangeToTab(url, options) {