[gnome-builder/editor-layout] document: reload change monitor after saving file.

[Christian Hergert <chergert src gnome org>]

commit 0cc3c1c2dde5c7e15e398146fa28d4d9d3946c16
Author: Christian Hergert <christian hergert me>
Date:   Sun Nov 30 23:00:08 2014 -0800

    document: reload change monitor after saving file.

 src/editor/gb-editor-document.c |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/editor/gb-editor-document.c b/src/editor/gb-editor-document.c
index e3c3032..a887c4c 100644
--- a/src/editor/gb-editor-document.c
+++ b/src/editor/gb-editor-document.c
@@ -468,6 +468,7 @@ gb_editor_document_save_cb (GObject      *object,
                             gpointer      user_data)
 {
   GtkSourceFileSaver *saver = (GtkSourceFileSaver *)object;
+  GbSourceChangeMonitor *change_monitor;
   GbEditorDocument *document;
   GError *error = NULL;
   GTask *task = user_data;
@@ -494,6 +495,9 @@ gb_editor_document_save_cb (GObject      *object,
   document = g_task_get_source_object (task);
   gtk_text_buffer_set_modified (GTK_TEXT_BUFFER (document), FALSE);
 
+  change_monitor = gb_editor_document_get_change_monitor (document);
+  gb_source_change_monitor_reload (change_monitor);
+
   g_task_return_boolean (task, TRUE);
 
 cleanup: