Remove padding from workspace toolbar, increase its content height to compensate

Max Brunsfeld created 2 years ago

The padding makes it difficult to layout toolbar items correctly when they are more than one row tall.

Change summary

styles/src/style_tree/workspace.ts | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)

Detailed changes

styles/src/style_tree/workspace.ts

@@ -129,7 +129,7 @@ export default function workspace(): any {
         status_bar: statusBar(),
         titlebar: titlebar(),
         toolbar: {
-            height: 34,
+            height: 42,
             background: background(theme.highest),
             border: border(theme.highest, { bottom: true }),
             item_spacing: 8,
@@ -138,7 +138,7 @@ export default function workspace(): any {
                 variant: "ghost",
                 active_color: "accent",
             }),
-            padding: { left: 8, right: 8, top: 4, bottom: 4 },
+            padding: { left: 8, right: 8 },
         },
         breadcrumb_height: 24,
         breadcrumbs: interactive({