+///
+bool MenuWrite(Buffer * buffer);
+/// write the given file, or ask if no name given
+bool WriteAs(Buffer * buffer, std::string const & filename = std::string());
+///
+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);
+///
+std::string const getPossibleLabel(BufferView const & bv);
+///
+void Reconfigure(BufferView * bv);