Make quickjump highlight style final
This commit is contained in:
parent
6cff0d8836
commit
ff4959e42e
|
@ -16,7 +16,7 @@ declare-option str tree_highlight_style "black,blue"
|
||||||
declare-option -hidden range-specs tree_highlight
|
declare-option -hidden range-specs tree_highlight
|
||||||
add-highlighter global/tree_highlight ranges tree_highlight
|
add-highlighter global/tree_highlight ranges tree_highlight
|
||||||
|
|
||||||
declare-option str tree_quickjump_highlight_style "black,green"
|
declare-option str tree_quickjump_highlight_style "black,green+F"
|
||||||
declare-option -hidden range-specs tree_quickjump_replace
|
declare-option -hidden range-specs tree_quickjump_replace
|
||||||
add-highlighter global/tree_quickjump_replace replace-ranges tree_quickjump_replace
|
add-highlighter global/tree_quickjump_replace replace-ranges tree_quickjump_replace
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user