bool WriteAs(BufferView * bv, Buffer * buffer,
string const & filename = string());
///
-int MenuRunChktex(Buffer * buffer);
-///
void QuitLyX();
///
void AutoSave(BufferView * bv);
///
string getContentsOfAsciiFile(BufferView * bv, string const & f, bool asParagraph);
///
-void MenuInsertLabel(BufferView * bv, string const & arg);
+string const getPossibleLabel(BufferView const & bv);
///
void Reconfigure(BufferView * bv);
#endif