Merge pull request #2283 from zed-industries/fix-code-fold-indicator-scaling

Change fold icon width to scale with font size
2023-03-14 10:07:25 -07:00 · 2023-03-14 10:07:25 -07:00 · 2a5ac4f203
commit 2a5ac4f203
parent e7f78c4f74 2ba38b2fca
3 changed files with 3 additions and 3 deletions
--- a/crates/theme/src/theme.rs
+++ b/crates/theme/src/theme.rs
@ -664,7 +664,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,
 }