Merge branch 'main' into project_search_design

2023-08-09 12:30:48 +02:00
parent 8b033223fb 8ed5e8f86d
commit 7ef5656f6a
95 changed files with 2955 additions and 2137 deletions
@@ -49,7 +49,7 @@ export default function status_bar(): any {
            },
            state: {
                hovered: {
-                    message: text(layer, "sans"),
+                    message: text(layer, "sans", { size: "xs" }),
                    icon_color: foreground(layer),
                    background: background(layer, "hovered"),
                },