From 3e84deb2c294bb9c325cb1e9e6dfbdb11bf0b1a5 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Wed, 2 May 2018 08:45:07 +0200
Subject: [PATCH] On save, closes file before reading last_write_time

---
 src/source.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/source.cc b/src/source.cc
index a97cd7c..e59e1d0 100644
--- a/src/source.cc
+++ b/src/source.cc
@@ -397,6 +397,7 @@ bool Source::View::save() {
       output << get_buffer()->get_text(start_iter, end_iter).c_str();
       start_iter=end_iter;
     }
+    output.close();
     boost::system::error_code ec;
     last_write_time=boost::filesystem::last_write_time(file_path, ec);
     if(ec)