[gnome-builder] gui: allow selecting text from marked-content

[Christian Hergert <chergert src gnome org>]

commit 0965bbf20c37dbb7f18d0eeac5c535cd75246041
Author: Christian Hergert <chergert redhat com>
Date:   Tue Jul 2 14:12:21 2019 -0700

    gui: allow selecting text from marked-content
    
    Fixes #963

 src/libide/gui/ide-marked-view.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/libide/gui/ide-marked-view.c b/src/libide/gui/ide-marked-view.c
index 0edfa8f1f..5fec506f3 100644
--- a/src/libide/gui/ide-marked-view.c
+++ b/src/libide/gui/ide-marked-view.c
@@ -68,6 +68,7 @@ ide_marked_view_new (IdeMarkedContent *content)
     case IDE_MARKED_KIND_PANGO:
       child = g_object_new (GTK_TYPE_LABEL,
                             "max-width-chars", 80,
+                            "selectable", TRUE,
                             "wrap", TRUE,
                             "xalign", 0.0f,
                             "visible", TRUE,
@@ -95,6 +96,7 @@ ide_marked_view_new (IdeMarkedContent *content)
         if ((parsed = gs_markdown_parse (md, markup)))
           child = g_object_new (GTK_TYPE_LABEL,
                                 "max-width-chars", 80,
+                                "selectable", TRUE,
                                 "wrap", TRUE,
                                 "xalign", 0.0f,
                                 "visible", TRUE,