+bool MenuWrite(BufferView * bv, Buffer * buffer);
+/// write the given file, or ask if no name given
+bool WriteAs(BufferView * bv, Buffer * buffer,
+ string const & filename = string());
+///
+int MenuRunChktex(Buffer * buffer);
+///
+void QuitLyX();
+///
+void AutoSave(BufferView * bv);
+///
+Buffer * NewLyxFile(string const & filename);
+///
+void InsertAsciiFile(BufferView * bv, string const & f, bool asParagraph);
+///
+string getContentsOfAsciiFile(BufferView * bv, string const & f, bool asParagraph);
+///
+void MenuInsertLabel(BufferView * bv, string const & arg);
+///
+void Reconfigure(BufferView * bv);