Change icon width to scale with font size

Mikayla Maki created 2 years ago

Change summary

crates/editor/src/editor.rs    | 2 +-
crates/theme/src/theme.rs      | 2 +-
styles/src/styleTree/editor.ts | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)

Detailed changes

crates/editor/src/editor.rs

@@ -2746,7 +2746,7 @@ impl Editor {
                                             .color,
                                     )
                                     .constrained()
-                                    .with_width(style.icon_width)
+                                    .with_width(gutter_margin * style.icon_margin_scale)
                                     .aligned()
                                     .constrained()
                                     .with_height(line_height)

crates/theme/src/theme.rs

@@ -666,7 +666,7 @@ pub struct Folds {
     pub indicator: Interactive<InteractiveColor>,
     pub ellipses: FoldEllipses,
     pub fold_background: Color,
-    pub icon_width: f32,
+    pub icon_margin_scale: f32,
     pub folded_icon: String,
     pub foldable_icon: String,
 }

styles/src/styleTree/editor.ts

@@ -60,7 +60,7 @@ export default function editor(colorScheme: ColorScheme) {
             verticalScale: 0.55,
         },
         folds: {
-            iconWidth: 8,
+            iconMarginScale: 2.5,
             foldedIcon: "icons/chevron_right_8.svg",
             foldableIcon: "icons/chevron_down_8.svg",
             indicator: {