|
|
@ -763,8 +763,16 @@ impl EditorView {
|
|
|
|
let viewport = view.inner_area(doc);
|
|
|
|
let viewport = view.inner_area(doc);
|
|
|
|
|
|
|
|
|
|
|
|
// define sticky context styles
|
|
|
|
// define sticky context styles
|
|
|
|
let context_style = theme.get("ui.sticky.context");
|
|
|
|
let context_style = theme.try_get("ui.sticky.context").unwrap_or(
|
|
|
|
let indicator_style = theme.get("ui.sticky.indicator");
|
|
|
|
theme
|
|
|
|
|
|
|
|
.try_get("ui.statusline")
|
|
|
|
|
|
|
|
.expect("`ui.statusline` exists"),
|
|
|
|
|
|
|
|
);
|
|
|
|
|
|
|
|
let indicator_style = theme.try_get("ui.sticky.indicator").unwrap_or(
|
|
|
|
|
|
|
|
theme
|
|
|
|
|
|
|
|
.try_get("ui.statusline")
|
|
|
|
|
|
|
|
.expect("`ui.statusline` exists"),
|
|
|
|
|
|
|
|
);
|
|
|
|
|
|
|
|
|
|
|
|
let mut context_area = viewport;
|
|
|
|
let mut context_area = viewport;
|
|
|
|
context_area.height = 1;
|
|
|
|
context_area.height = 1;
|
|
|
|