added major and minor display text to project search, and fixed icon padding

Co-authored-by: Piotr <piotr@zed.dev>
2023-08-01 13:28:21 -04:00
parent 7d5ff60ff0
commit cf060f0011
3 changed files with 68 additions and 16 deletions
@@ -140,9 +140,13 @@ export default function search(): any {
                right: 6,
            },
        },
-        results_status: {
+        major_results_status: {
            ...text(theme.highest, "mono", "on"),
-            size: 18,
+            size: 15,
+        },
+        minor_results_status: {
+            ...text(theme.highest, "mono", "variant"),
+            size: 13,
        },
        dismiss_button: interactive({
            base: {