+ string lyxpipes;
+ ///
+ string date_insert_format;
+ ///
+ string language_package;
+ ///
+ bool language_auto_begin;
+ ///
+ bool language_auto_end;
+ ///
+ string language_command_begin;
+ ///
+ string language_command_end;
+ ///
+ bool rtl_support;
+ ///
+ bool auto_number;
+ ///
+ bool mark_foreign_language;
+ ///
+ bool show_banner;
+ /// Do we have to use a GUI?
+ bool use_gui;
+ ///
+ string linuxdoc_to_lyx_command;
+ ///
+ string linuxdoc_to_html_command;
+ ///
+ string linuxdoc_to_latex_command;
+ ///
+ string docbook_to_dvi_command;
+ ///
+ string docbook_to_html_command;
+ ///
+ string docbook_to_pdf_command;
+ ///
+ bool new_ask_filename;