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

pull/11409/head
Stephen Broadley 2024-08-02 20:38:24 +01:00 committed by Stephen Broadley
parent 940b1e6357
commit 0902fb4dc9
1 changed files with 1 additions and 1 deletions

View File

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