added svg right margin in search bar

Co-authored-by: Piotr <piotr@zed.dev>
2023-08-01 12:34:02 -04:00
parent 00a9672eca
commit 7d5ff60ff0
3 changed files with 22 additions and 7 deletions
@@ -54,7 +54,7 @@ export default function search(): any {
                        left: 6,
                        right: 6,
                        top: 6,
-                },
+                    },
                },
                state: {
                    hovered: {
@@ -163,5 +163,18 @@ export default function search(): any {
                },
            },
        }),
+        editor_icon: {
+            icon: {
+                color: foreground(theme.highest, "variant"),
+                asset: "icons/magnifying_glass_12.svg",
+                dimensions: {
+                    width: 12,
+                    height: 12,
+                }
+            },
+            container: {
+                padding: { right: 6 }
+            }
+        }
    }
 }