ui: forward 'linespace' option #7883

ref #7520
This commit is contained in:
Justin M. Keyes
2018-01-21 07:31:57 +01:00
parent ada1956206
commit eb4aab7173
5 changed files with 19 additions and 3 deletions

View File

@@ -1399,8 +1399,9 @@ return {
full_name='linespace', abbreviation='lsp',
type='number', scope={'global'},
vi_def=true,
redraw={'everything'},
enable_if=false,
redraw={'everything', 'ui_option'},
varname='p_linespace',
defaults={if_true={vi=0}}
},
{
full_name='lisp',