ui: forward relevant option updates to UIs (#7520)

also make termguicolors mutable after startup
This commit is contained in:
Björn Linse
2017-12-12 18:23:19 +01:00
committed by GitHub
parent f976826690
commit 34057045be
15 changed files with 255 additions and 15 deletions

View File

@@ -447,6 +447,9 @@ EXTERN char_u *p_popt; // 'printoptions'
EXTERN char_u *p_header; // 'printheader'
EXTERN int p_prompt; // 'prompt'
EXTERN char_u *p_guicursor; // 'guicursor'
EXTERN char_u *p_guifont; // 'guifont'
EXTERN char_u *p_guifontset; // 'guifontset'
EXTERN char_u *p_guifontwide; // 'guifontwide'
EXTERN char_u *p_hf; // 'helpfile'
EXTERN long p_hh; // 'helpheight'
EXTERN char_u *p_hlg; // 'helplang'