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

[Christian Hergert <chergert src gnome org>]

commit 4207bcfa2e0f8e630bd6ad93a3a3413b41a119fa
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 22b11668d..748dc94b1 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;