[gnome-builder] doc-card: cancel popover request if widget lost focus

[Christian Hergert <chergert src gnome org>]

commit 1d3fd4749674bdc92b9e4fa824113653a5e5bc75
Author: Christian Hergert <chergert redhat com>
Date:   Wed Apr 4 14:05:45 2018 -0700

    doc-card: cancel popover request if widget lost focus

 src/plugins/documentation-card/gbp-documentation-card-view-addin.c | 3 +++
 1 file changed, 3 insertions(+)
---
diff --git a/src/plugins/documentation-card/gbp-documentation-card-view-addin.c 
b/src/plugins/documentation-card/gbp-documentation-card-view-addin.c
index dd9d00e02..422061f6f 100644
--- a/src/plugins/documentation-card/gbp-documentation-card-view-addin.c
+++ b/src/plugins/documentation-card/gbp-documentation-card-view-addin.c
@@ -176,6 +176,9 @@ search_document_cb (gpointer data)
   if (!GTK_SOURCE_IS_VIEW (source_view))
     return G_SOURCE_REMOVE;
 
+  if (!gtk_widget_has_focus (GTK_WIDGET (source_view)))
+    return G_SOURCE_REMOVE;
+
   buffer = ide_editor_view_get_buffer (self->editor_view);
   if (buffer == NULL)
     return G_SOURCE_REMOVE;