Merge pull request #1634 from zed-industries/dock-tweaks

Dock Tweaks

styles/src/styleTree/tabBar.ts

@@ -59,13 +59,7 @@ export default function tabBar(theme: Theme) {
   const draggedTab = {
     ...activePaneActiveTab,
     background: withOpacity(tab.background, 0.8),
-    border: {
-      ...tab.border,
-      top: false,
-      left: false,
-      right: false,
-      bottom: false,
-    },
+    border: undefined as any, // Remove border
     shadow: draggedShadow(theme),
   }
 
@@ -74,7 +68,6 @@ export default function tabBar(theme: Theme) {
     background: backgroundColor(theme, 300),
     dropTargetOverlayColor: withOpacity(theme.textColor.muted, 0.6),
     border: border(theme, "primary", {
-      left: true,
       bottom: true,
       overlay: true,
     }),
@@ -89,14 +82,18 @@ export default function tabBar(theme: Theme) {
     draggedTab,
     paneButton: {
       color: iconColor(theme, "secondary"),
-      border: {
-        ...tab.border,
-      },
       iconWidth: 12,
       buttonWidth: activePaneActiveTab.height,
       hover: {
         color: iconColor(theme, "active"),
       },
     },
+    paneButtonContainer: {
+      background: tab.background,
+      border: {
+        ...tab.border,
+        right: false,
+      }
+    }
   }
 }

styles/src/styleTree/workspace.ts

@@ -163,13 +163,15 @@ export default function workspace(theme: Theme) {
       initialSizeRight: 640,
       initialSizeBottom: 480,
       wash_color: withOpacity(theme.backgroundColor[500].base, 0.5),
-      flex: 0.5,
       panel: {
-        margin: 4,
+        border: {
+          ...border(theme, "secondary"),
+          width: 1
+        },
       },
       maximized: {
-        margin: 32,
-        border: border(theme, "secondary"),
+        margin: 24,
+        border: border(theme, "secondary", { "overlay": true }),
         shadow: modalShadow(theme),
       }
     }