[gnome-builder] plugins/editorui: disable editing of preview widget

[Christian Hergert <chergert src gnome org>]

commit 66fe6ee986970e3c7903c45e7c0d57b3ff26bdf5
Author: Christian Hergert <chergert redhat com>
Date:   Sun Aug 28 10:07:46 2022 -0700

    plugins/editorui: disable editing of preview widget
    
    This wasn't supposed to be editable to begin with.
    
    Fixes #1763

 src/plugins/editorui/gbp-editorui-preview.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/plugins/editorui/gbp-editorui-preview.c b/src/plugins/editorui/gbp-editorui-preview.c
index d33709e0a..9d20af06a 100644
--- a/src/plugins/editorui/gbp-editorui-preview.c
+++ b/src/plugins/editorui/gbp-editorui-preview.c
@@ -199,6 +199,8 @@ gbp_editorui_preview_init (GbpEditoruiPreview *self)
 
   self->editor_settings = g_settings_new ("org.gnome.builder.editor");
 
+  gtk_text_view_set_editable (GTK_TEXT_VIEW (self), FALSE);
+
   self->css_provider = gtk_css_provider_new ();
   gtk_style_context_add_provider (gtk_widget_get_style_context (GTK_WIDGET (self)),
                                   GTK_STYLE_PROVIDER (self->css_provider),