From 2b50afe14dc7a35a242ff29962a73ba55da9414a Mon Sep 17 00:00:00 2001 From: itdominator <1itdominator@gmail.com> Date: Sun, 12 Nov 2023 14:44:48 -0600 Subject: [PATCH] Mouse focus styling update --- src/core/controller_data.py | 11 ++++++++++- src/core/widgets/base/notebook/editor_notebook.py | 3 ++- 2 files changed, 12 insertions(+), 2 deletions(-) diff --git a/src/core/controller_data.py b/src/core/controller_data.py index 7900d8b..519e767 100644 --- a/src/core/controller_data.py +++ b/src/core/controller_data.py @@ -28,7 +28,16 @@ class ControllerData: def set_active_src_view(self, source_view): if self.active_src_view: - self.active_src_view.get_parent().is_editor_focused = False + old_notebook = self.active_src_view.get_parent().get_parent() + old_notebook.is_editor_focused = False + + ctx = old_notebook.get_style_context() + ctx.remove_class("notebook-selected-focus") + + + notebook = source_view.get_parent().get_parent() + ctx = notebook.get_style_context() + ctx.add_class("notebook-selected-focus") self.active_src_view = source_view diff --git a/src/core/widgets/base/notebook/editor_notebook.py b/src/core/widgets/base/notebook/editor_notebook.py index c370403..afc3d95 100644 --- a/src/core/widgets/base/notebook/editor_notebook.py +++ b/src/core/widgets/base/notebook/editor_notebook.py @@ -80,7 +80,8 @@ class EditorNotebook(EditorControllerMixin, Gtk.Notebook): def _focused_target_changed(self, target): self.is_editor_focused = True if target == self.NAME else False - self.grab_focus() + if self.is_editor_focused: + self.grab_focus() def _add_action_widgets(self): start_box = Gtk.Box()