Move #includes out of header files.

[lyx.git] / src / bufferlist.C

diff --git a/src/bufferlist.C b/src/bufferlist.C
index 5b8c6d58dfdee7e780f841dd094954818b5a49ca..de6b49f5bcaebcffb1ab80418b2b16358bd052b8 100644 (file)
--- a/src/bufferlist.C
+++ b/src/bufferlist.C
@@ -5,7 +5,7 @@
  *
  * \author Lars Gullik Bjønnes
  *
- * Full author contact details are available in file CREDITS
+ * Full author contact details are available in file CREDITS.
  */
 
 #include <config.h>
@@ -70,9 +70,9 @@ bool BufferList::quitWriteBuffer(Buffer * buf)
                file = MakeDisplayPath(buf->fileName(), 30);
 
        string text = bformat(_("The document %1$s has unsaved changes.\n\n"
-               "Do you want to save the document?"), file);
+               "Do you want to save the document or discard the changes?"), file);
        int const ret = Alert::prompt(_("Save changed document?"),
-               text, 0, 2, _("&Save Changes"), _("&Discard Changes"), _("&Cancel"));
+               text, 0, 2, _("&Save"), _("&Discard"), _("&Cancel"));
 
        if (ret == 0) {
                // FIXME: WriteAs can be asynch !
@@ -174,9 +174,9 @@ bool BufferList::close(Buffer * buf, bool ask)
                fname = MakeDisplayPath(buf->fileName(), 30);
 
        string text = bformat(_("The document %1$s has unsaved changes.\n\n"
-               "Do you want to save the document?"), fname);
+               "Do you want to save the document or discard the changes?"), fname);
        int const ret = Alert::prompt(_("Save changed document?"),
-               text, 0, 2, _("&Save Changes"), _("&Discard Changes"), _("&Cancel"));
+               text, 0, 2, _("&Save"), _("&Discard"), _("&Cancel"));
 
        if (ret == 0) {
                if (buf->isUnnamed()) {
@@ -319,7 +319,7 @@ bool BufferList::exists(string const & s) const
 bool BufferList::isLoaded(Buffer const * b) const
 {
        Assert(b);
-
+       
        BufferStorage::const_iterator cit =
                find(bstore.begin(), bstore.end(), b);
        return cit != bstore.end();