Improve toggle UI, fix inlays update speed

2023-08-16 23:38:11 +03:00
parent 6a326c1bd8
commit 0b93e490a5
3 changed files with 12 additions and 10 deletions
@@ -151,6 +151,7 @@ export default function workspace(): any {
                },
            }),
            toggleable_tool: toggleable_icon_button(theme, {
+                margin: { left: 8 },
                active_color: "accent",
            }),
            padding: { left: 8, right: 8, top: 4, bottom: 4 },