Improved handle placement on ctrl+shift --> 2nd pane when hidden

2023-11-12 17:34:13 -06:00 · 2023-11-12 17:34:13 -06:00 · 257a368e02
parent 9d2c62ef20
commit 257a368e02
1 changed files with 4 additions and 1 deletions
--- a/src/core/widgets/base/notebook/editor_events.py
+++ b/src/core/widgets/base/notebook/editor_events.py
@ -114,7 +114,10 @@ class EditorEventsMixin:
        tab      = page.get_tab_widget()

        self.detach_tab(page)
-        notebook.show()
+        if not notebook.is_visible():
+            notebook.show()
+            event_system.emit("update_paned_handle")
+
        notebook.insert_page(page, tab, -1)

        self.set_page_focus(page, notebook, self)