wip

2023-05-13 14:34:09 -06:00
parent 6c60853842
commit ba50b35de6
9 changed files with 634 additions and 525 deletions
@@ -118,6 +118,15 @@ export default function workspace(colorScheme: ColorScheme) {
            },
            cursor: "Arrow",
        },
+        zoomedBackground: {
+            padding: 10,
+            cursor: "Arrow",
+            background: withOpacity(background(colorScheme.lowest), 0.5)
+        },
+        zoomedForeground: {
+            shadow: colorScheme.modalShadow,
+            border: border(colorScheme.highest, { overlay: true }),
+        },
        dock: {
            initialSize: 240,
            border: border(layer, { left: true, right: true }),