Draft quick actions bar

2023-08-16 23:38:11 +03:00
parent 07675e3c55
commit 5c3d563f0f
7 changed files with 189 additions and 3 deletions
@@ -12,6 +12,7 @@ import tabBar from "./tab_bar"
 import { interactive } from "../element"
 import { titlebar } from "./titlebar"
 import { useTheme } from "../theme"
+import { toggleable_icon_button } from "../component/icon_button"

 export default function workspace(): any {
    const theme = useTheme()
@@ -149,6 +150,9 @@ export default function workspace(): any {
                    },
                },
            }),
+            toggleable_tool: toggleable_icon_button(theme, {
+                active_color: "accent",
+            }),
            padding: { left: 8, right: 8, top: 4, bottom: 4 },
        },
        breadcrumb_height: 24,