updated style name for 'nullspace' to 'ui.nullspace'

pull/11409/head
Stephen Broadley 4 months ago
parent 4e6cd3fd06
commit faa03c4e85

@ -112,7 +112,7 @@ impl EditorView {
.clip_bottom(1); .clip_bottom(1);
let null_style = theme let null_style = theme
.try_get("ui.null") .try_get("ui.nullspace")
.or_else(|| Some(theme.get("ui.linenr"))) .or_else(|| Some(theme.get("ui.linenr")))
.unwrap(); .unwrap();

Loading…
Cancel
Save