+ /// Sort layouts alphabetically
+ bool sort_layouts;
+ /// Group layout by their category
+ bool group_layouts;
+ /// Toggle toolbars in fullscreen mode?
+ bool full_screen_toolbars;
+ /// Toggle scrollbar in fullscreen mode?
+ bool full_screen_scrollbar;
+ /// Toggle tabbar in fullscreen mode?
+ bool full_screen_tabbar;
+ /// Toggle menubar in fullscreen mode?
+ bool full_screen_menubar;
+ /// Limit the text width?
+ bool full_screen_limit;
+ /// Width of limited screen (in pixels) in fullscreen mode
+ int full_screen_width;
+ ///
+ bool completion_cursor_text;
+ ///
+ double completion_inline_delay;
+ ///
+ bool completion_inline_math;
+ ///
+ bool completion_inline_text;
+ ///
+ int completion_inline_dots;
+ ///
+ bool autocorrection_math;
+ ///
+ double completion_popup_delay;
+ ///
+ bool completion_popup_math;
+ ///
+ bool completion_popup_text;
+ ///
+ bool completion_popup_after_complete;
+ ///
+ bool open_buffers_in_tabs;
+ ///
+ bool single_close_tab_button;