UI: forward 'mousefocus' option #12863

close #12849
ref eb4aab7173
This commit is contained in:
Justin M. Keyes
2020-09-06 11:40:07 -07:00
committed by GitHub
parent d6b280799f
commit c1d395a6d6
5 changed files with 11 additions and 2 deletions

View File

@@ -1588,7 +1588,8 @@ return {
full_name='mousefocus', abbreviation='mousef',
type='bool', scope={'global'},
vi_def=true,
enable_if=false,
redraw={'ui_option'},
varname='p_mousef',
defaults={if_true={vi=false}}
},
{