/// write the given file, or ask if no name given
bool WriteAs(Buffer * buffer, std::string const & filename = std::string());
///
-void QuitLyX();
+void QuitLyX(bool noask);
///
void AutoSave(BufferView * bv);
///
///
std::string getContentsOfAsciiFile(BufferView * bv, std::string const & f, bool asParagraph);
///
-std::string const getPossibleLabel(BufferView const & bv);
-///
void Reconfigure(BufferView * bv);
#endif