|
|
@ -95,8 +95,6 @@ impl EditorView {
|
|
|
|
|
|
|
|
|
|
|
|
if config.nullspace.enable {
|
|
|
|
if config.nullspace.enable {
|
|
|
|
if inner.width < view.area.width {
|
|
|
|
if inner.width < view.area.width {
|
|
|
|
let (null_l, _, null_r) = area.clip_bottom(1).split_centre_vertical(inner.width);
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let null_style = theme
|
|
|
|
let null_style = theme
|
|
|
|
.try_get("ui.nullspace")
|
|
|
|
.try_get("ui.nullspace")
|
|
|
|
.or_else(|| Some(theme.get("ui.linenr")))
|
|
|
|
.or_else(|| Some(theme.get("ui.linenr")))
|
|
|
@ -112,6 +110,9 @@ impl EditorView {
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
let view_width = inner.width + view.gutter_offset(doc);
|
|
|
|
|
|
|
|
let (null_l, _, null_r) = area.clip_bottom(1).split_centre_vertical(view_width);
|
|
|
|
|
|
|
|
|
|
|
|
// We currently on use the first char in the 'pattern'
|
|
|
|
// We currently on use the first char in the 'pattern'
|
|
|
|
// but in future I would like to use the whole string
|
|
|
|
// but in future I would like to use the whole string
|
|
|
|
// to render nicer patterns.
|
|
|
|
// to render nicer patterns.
|
|
|
|