[gnome-builder] defensive

[Christian Hergert <chergert src gnome org>]

commit c100b70c8ae85af6a0eff1ddd290159883ed4691
Author: Christian Hergert <christian hergert me>
Date:   Thu Mar 19 01:03:55 2015 -0700

    defensive

 libide/ide-source-view.c |    4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)
---
diff --git a/libide/ide-source-view.c b/libide/ide-source-view.c
index 6326b92..fae328c 100644
--- a/libide/ide-source-view.c
+++ b/libide/ide-source-view.c
@@ -2214,7 +2214,9 @@ ide_source_view_real_button_press_event (GtkWidget      *widget,
   /*
    * Keep mark on the last character if the sourceviewmode dictates such.
    */
-  if (priv->mode && ide_source_view_mode_get_keep_mark_on_char (priv->mode))
+  if (gtk_widget_has_focus (widget) &&
+      priv->mode &&
+      ide_source_view_mode_get_keep_mark_on_char (priv->mode))
     {
       GtkTextBuffer *buffer;
       GtkTextMark *insert;