From cca365f26c7d541cc13453fc42fc9b6de7736319 Mon Sep 17 00:00:00 2001
From: Alexander Dunlap <alexander.dunlap@gmail.com>
Date: Thu, 15 Feb 2018 11:28:34 -0800
Subject: [PATCH] save session when we save a buffer

Implements enhancement #10712.
---
 src/frontends/qt4/GuiView.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp
index cc5a3df44b..631758d59d 100644
--- a/src/frontends/qt4/GuiView.cpp
+++ b/src/frontends/qt4/GuiView.cpp
@@ -2263,8 +2263,10 @@ Buffer * GuiView::loadDocument(FileName const & filename, bool tolastfiles)
 	setBuffer(newBuffer);
 	newBuffer->errors("Parse");
 
-	if (tolastfiles)
+	if (tolastfiles) {
 		theSession().lastFiles().add(filename);
+		theSession().writeFile();
+  }
 
 	return newBuffer;
 }
@@ -2803,6 +2805,7 @@ bool GuiView::saveBuffer(Buffer & b, FileName const & fn)
 	bool const success = (fn.empty() ? b.save() : b.saveAs(fn));
 	if (success) {
 		theSession().lastFiles().add(b.fileName());
+		theSession().writeFile();
 		return true;
 	}
 
-- 
2.39.2