From d1550db08dbe9402730dafcb738eff1d47e231a6 Mon Sep 17 00:00:00 2001 From: Elian Doran Date: Fri, 22 Nov 2024 21:35:47 +0200 Subject: [PATCH] fix(client): experiment with full-width tab bar --- src/public/app/layouts/desktop_layout.js | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/src/public/app/layouts/desktop_layout.js b/src/public/app/layouts/desktop_layout.js index 70b3561ff..a06c89a63 100644 --- a/src/public/app/layouts/desktop_layout.js +++ b/src/public/app/layouts/desktop_layout.js @@ -94,10 +94,16 @@ export default class DesktopLayout { const launcherPaneIsHorizontal = true; const launcherPane = this.#buildLauncherPane(launcherPaneIsHorizontal); + const fullWidthTabBar = launcherPaneIsHorizontal && true; + const tabBar = new TabRowWidget(); return new RootContainer() .setParent(appContext) .optChild(launcherPaneIsHorizontal, launcherPane) + .optChild(fullWidthTabBar, new FlexContainer('row') + .child(tabBar) + .css('height', '40px') + ) .child(new FlexContainer('row') .css("flex-grow", "1") .optChild(!launcherPaneIsHorizontal, launcherPane) @@ -109,8 +115,8 @@ export default class DesktopLayout { .child(new FlexContainer('column') .id('rest-pane') .css("flex-grow", "1") - .child(new FlexContainer('row') - .child(new TabRowWidget()) + .optChild(!fullWidthTabBar, new FlexContainer('row') + .child(tabBar) .child(new TitleBarButtonsWidget()) .css('height', '40px') )