Adjusted code-folding behavior

2023-02-28 16:34:28 -08:00
parent e0f553c0f5
commit 9b8adecf05
4 changed files with 66 additions and 38 deletions
@@ -1829,7 +1829,14 @@ impl Element for EditorElement {
            hover = view.hover_state.render(&snapshot, &style, visible_rows, cx);
            mode = view.mode;

-            view.render_fold_indicators(folds, &style, view.gutter_hovered, cx)
+            view.render_fold_indicators(
+                folds,
+                &style,
+                view.gutter_hovered,
+                line_height,
+                gutter_margin,
+                cx,
+            )
        });

        if let Some((_, context_menu)) = context_menu.as_mut() {