Add styles to git menu

2023-06-30 16:23:27 +02:00
parent 3be8977ee8
commit b699e5c142
4 changed files with 51 additions and 22 deletions
@@ -44,6 +44,8 @@ export default function contact_finder(theme: ColorScheme): any {
            no_matches: picker_style.no_matches,
            input_editor: picker_input,
            empty_input_editor: picker_input,
+            header: picker_style.header,
+            footer: picker_style.footer,
        },
        row_height: 28,
        contact_avatar: {
@@ -108,5 +108,34 @@ export default function picker(theme: ColorScheme): any {
                top: 8,
            },
        },
+        header: {
+            text: text(theme.lowest, "sans", "variant", { size: "xs" }),
+            padding: {
+                bottom: 4,
+                left: 12,
+                right: 12,
+                top: 4,
+            },
+            margin: {
+                top: 1,
+                left: 4,
+                right: 4,
+            },
+        },
+        footer: {
+            text: text(theme.lowest, "sans", "variant", { size: "xs" }),
+            padding: {
+                bottom: 4,
+                left: 12,
+                right: 12,
+                top: 4,
+            },
+            margin: {
+                top: 1,
+                left: 4,
+                right: 4,
+            },
+
+        }
    }
 }