[gnome-builder/file-monitor] GbEditorFrame: check for external modifications when focused

[Christian Hergert <chergert src gnome org>]

commit 5471f39e4b8ffeb7b5c8d6276f9785b6973e26bd
Author: Christian Hergert <christian hergert me>
Date:   Thu Dec 11 18:35:32 2014 -0800

    GbEditorFrame: check for external modifications when focused

 src/editor/gb-editor-frame.c |    9 +++++++--
 1 files changed, 7 insertions(+), 2 deletions(-)
---
diff --git a/src/editor/gb-editor-frame.c b/src/editor/gb-editor-frame.c
index 7aa23a4..6133a9c 100644
--- a/src/editor/gb-editor-frame.c
+++ b/src/editor/gb-editor-frame.c
@@ -612,8 +612,13 @@ gb_editor_frame_on_focus_in_event (GbEditorFrame *frame,
   g_return_val_if_fail (GB_IS_EDITOR_FRAME (frame), FALSE);
   g_return_val_if_fail (GB_IS_SOURCE_VIEW (source_view), FALSE);
 
-  gtk_revealer_set_reveal_child (frame->priv->search_revealer, FALSE);
-  gtk_source_search_context_set_highlight (frame->priv->search_context, FALSE);
+  if (gtk_revealer_get_reveal_child (frame->priv->search_revealer))
+    gtk_revealer_set_reveal_child (frame->priv->search_revealer, FALSE);
+
+  if (gtk_source_search_context_get_highlight (frame->priv->search_context))
+    gtk_source_search_context_set_highlight (frame->priv->search_context, FALSE);
+
+  gb_editor_document_check_externally_modified (frame->priv->document);
 
   g_signal_emit (frame, gSignals [FOCUSED], 0);