[gnome-builder] code: notify of buffer modification when backing file changes

[Christian Hergert <chergert src gnome org>]

commit 7766d3998b8f4bbeda0aa0f78d94fc683f6f3ce3
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jan 14 17:33:19 2019 -0800

    code: notify of buffer modification when backing file changes

 src/libide/code/ide-buffer.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/code/ide-buffer.c b/src/libide/code/ide-buffer.c
index 6ba46952c..0131c84e3 100644
--- a/src/libide/code/ide-buffer.c
+++ b/src/libide/code/ide-buffer.c
@@ -1883,6 +1883,8 @@ _ide_buffer_set_changed_on_volume (IdeBuffer *self,
   if (changed_on_volume != self->changed_on_volume)
     {
       self->changed_on_volume = changed_on_volume;
+      if (changed_on_volume)
+        gtk_text_buffer_set_modified (GTK_TEXT_BUFFER (self), TRUE);
       g_object_notify_by_pspec (G_OBJECT (self), properties [PROP_CHANGED_ON_VOLUME]);
     }
 }