options: allow different highlights in windows

This commit is contained in:
Björn Linse
2017-04-26 18:17:29 +02:00
parent 443399c27d
commit bfcaf36404
10 changed files with 143 additions and 24 deletions

View File

@@ -2701,6 +2701,14 @@ return {
varname='p_wak',
defaults={if_true={vi="menu"}}
},
{
full_name='winhighlight', abbreviation='winhl',
type='string', scope={'window'},
vi_def=true,
alloced=true,
redraw={'current_window'},
defaults={if_true={vi=""}}
},
{
full_name='window', abbreviation='wi',
type='number', scope={'global'},