[gnome-builder] symbol-tree: make symbol hover content selectable

[Christian Hergert <chergert src gnome org>]

commit 47e7274b5bc64ffa2d948bcfee80fbb5125920f9
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 2 14:54:55 2019 -0700

    symbol-tree: make symbol hover content selectable

 src/plugins/symbol-tree/gbp-symbol-hover-provider.c | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/src/plugins/symbol-tree/gbp-symbol-hover-provider.c 
b/src/plugins/symbol-tree/gbp-symbol-hover-provider.c
index 9a8353bdd..270659d72 100644
--- a/src/plugins/symbol-tree/gbp-symbol-hover-provider.c
+++ b/src/plugins/symbol-tree/gbp-symbol-hover-provider.c
@@ -121,6 +121,7 @@ gbp_symbol_hover_provider_get_symbol_cb (GObject      *object,
                                    "visible", TRUE,
                                    "xalign", 0.0f,
                                    "margin-bottom", 3,
+                                   "selectable", TRUE,
                                    "use-markup", TRUE,
                                    "label", tt,
                                    NULL));