+ ///
+ 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;
+ ///
+ std::string forward_search_dvi;
+ ///
+ std::string forward_search_pdf;
+ ///
+ int export_overwrite;
+ /// Default decimal point when aligning table columns on decimal
+ std::string default_decimal_point;
+ ///
+ enum ScrollWheelZoom {
+ SCROLL_WHEEL_ZOOM_OFF,
+ SCROLL_WHEEL_ZOOM_CTRL,
+ SCROLL_WHEEL_ZOOM_SHIFT,
+ SCROLL_WHEEL_ZOOM_ALT
+ };
+ ///
+ ScrollWheelZoom scroll_wheel_zoom;