[gnome-text-editor] window: remove page from session

[Christian Hergert <chergert src gnome org>]

commit d83a2e070df5a5af0a81c5b322f48fc1f6fc9d8e
Author: Christian Hergert <chergert redhat com>
Date:   Thu Oct 7 17:20:27 2021 -0700

    window: remove page from session
    
    If we're going to allow AdwTabView to go through the normal process of
    removing pages, then we need to also notify the session of the page
    removal so that we don't hold onto it.
    
    This may also improve the situation with a closed tab being obnoxious, such
    as in #175, if it ensures the view/buffer are disposed.
    
    Fixes #171

 src/editor-window.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)
---
diff --git a/src/editor-window.c b/src/editor-window.c
index 1cb5f32..e4eac54 100644
--- a/src/editor-window.c
+++ b/src/editor-window.c
@@ -360,7 +360,10 @@ on_tab_view_close_page_cb (EditorWindow *self,
       epage->close_requested = TRUE;
 
       if (_editor_window_request_close_page (self, epage))
-        return FALSE;
+        {
+          editor_session_remove_page (EDITOR_SESSION_DEFAULT, epage);
+          return FALSE;
+        }
     }
 
   return TRUE;