[gnome-text-editor] page: make page uneditable while document is busy

[Christian Hergert <chergert src gnome org>]

commit caa5ed4e31ff0d5c8758568525e691347373789f
Author: Christian Hergert <chergert redhat com>
Date:   Mon Aug 1 12:14:36 2022 -0700

    page: make page uneditable while document is busy

 src/editor-page.c | 2 ++
 1 file changed, 2 insertions(+)
---
diff --git a/src/editor-page.c b/src/editor-page.c
index 0cc3120..1ad4781 100644
--- a/src/editor-page.c
+++ b/src/editor-page.c
@@ -181,6 +181,8 @@ editor_page_document_notify_busy_cb (EditorPage     *self,
   g_object_notify_by_pspec (G_OBJECT (self), properties[PROP_CAN_SAVE]);
   g_object_notify_by_pspec (G_OBJECT (self), properties[PROP_SUBTITLE]);
   g_object_notify_by_pspec (G_OBJECT (self), properties[PROP_TITLE]);
+
+  gtk_text_view_set_editable (GTK_TEXT_VIEW (self->view), !busy);
 }
 
 static void