Show split button at the right edge of the tab bar

2022-07-13 11:44:33 +02:00
parent e55e69caba
commit c87efb0dbc
3 changed files with 45 additions and 8 deletions
@@ -55,6 +55,18 @@ export default function workspace(theme: Theme) {
    leaderBorderWidth: 2.0,
    tab,
    activeTab,
+    paneButton: {
+      color: iconColor(theme, "secondary"),
+      border: {
+        ...tab.border
+      },
+      iconWidth: 14,
+      buttonWidth: tab.height,
+      hover: {
+        color: iconColor(theme, "active"),
+        background: backgroundColor(theme, 300),
+      }
+    },
    modal: {
      margin: {
        bottom: 52,