+void QuitLyX();
+///
+void AutoSave(BufferView * bv);
+///
+void NewFile(BufferView * bv, std::string const & filename);
+///
+void InsertAsciiFile(BufferView * bv, std::string const & f, bool asParagraph);
+///
+std::string getContentsOfAsciiFile(BufferView * bv, std::string const & f, bool asParagraph);
+///
+void Reconfigure(BufferView * bv);