diff --git a/crates/editor/src/editor.rs b/crates/editor/src/editor.rs index 0005a8fc02803926a6aa15e239ef23e46e5df791..3aee72778c3ea9d5b55dd073f28e2f2e2f396771 100644 --- a/crates/editor/src/editor.rs +++ b/crates/editor/src/editor.rs @@ -10200,7 +10200,7 @@ impl Render for Editor { background, local_player: cx.theme().players().local(), text: text_style, - scrollbar_width: px(12.), + scrollbar_width: px(13.), syntax: cx.theme().syntax().clone(), status: cx.theme().status().clone(), inlay_hints_style: HighlightStyle {