[gnome-builder/gnome-builder-3-20] build-tools: build log should not be editable

[Christian Hergert <chergert src gnome org>]

commit df4cc7df2d826037662c1ed0026d5d8131d71b40
Author: Christian Hergert <chergert redhat com>
Date:   Wed May 4 16:23:49 2016 +0300

    build-tools: build log should not be editable

 plugins/build-tools/gbp-build-log-panel.c |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/build-tools/gbp-build-log-panel.c b/plugins/build-tools/gbp-build-log-panel.c
index e677398..5918b08 100644
--- a/plugins/build-tools/gbp-build-log-panel.c
+++ b/plugins/build-tools/gbp-build-log-panel.c
@@ -71,6 +71,7 @@ gbp_build_log_panel_reset_view (GbpBuildLogPanel *self)
 
   self->text_view = g_object_new (GTK_TYPE_TEXT_VIEW,
                                   "buffer", self->buffer,
+                                  "editable", FALSE,
                                   "monospace", TRUE,
                                   "visible", TRUE,
                                   NULL);