@@ -49,8 +49,8 @@ use gpui::{
Pixels, PressureStage, ScrollDelta, ScrollHandle, ScrollWheelEvent, ShapedLine, SharedString,
Size, StatefulInteractiveElement, Style, Styled, StyledText, TextAlign, TextRun,
TextStyleRefinement, WeakEntity, Window, anchored, deferred, div, fill, linear_color_stop,
- linear_gradient, outline, pattern_slash, point, px, quad, relative, rgba, size,
- solid_background, transparent_black,
+ linear_gradient, outline, pattern_slash, point, px, quad, relative, size, solid_background,
+ transparent_black,
};
use itertools::Itertools;
use language::{IndentGuideSettings, language_settings::ShowWhitespaceSetting};
@@ -4005,7 +4005,11 @@ impl EditorElement {
.id(block_id)
.w_full()
.h((*height as f32) * line_height)
- .bg(pattern_slash(rgba(0xFFFFFF10), 8.0, 8.0))
+ .bg(pattern_slash(
+ cx.theme().colors().panel_background,
+ 8.0,
+ 8.0,
+ ))
.into_any(),
};