From 3add597c801c8880f7db35a101aacd3a60a64fd2 Mon Sep 17 00:00:00 2001 From: itdominator <1itdominator@gmail.com> Date: Sun, 5 Nov 2023 15:57:08 -0600 Subject: [PATCH] Fixing miniview load timing isues --- src/core/containers/editors_container.py | 3 ++- src/core/widgets/base/sourceview/source_view.py | 4 +--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/src/core/containers/editors_container.py b/src/core/containers/editors_container.py index a81e904..85a124f 100644 --- a/src/core/containers/editors_container.py +++ b/src/core/containers/editors_container.py @@ -61,7 +61,8 @@ class EditorsContainer(Gtk.Box): ... def _load_widgets(self): + miniview = MiniViewWidget() self.add(Separator("separator_left")) self.add(EditorsPaned()) self.add(Separator("separator_right")) - self.add(MiniViewWidget()) \ No newline at end of file + self.add(miniview) \ No newline at end of file diff --git a/src/core/widgets/base/sourceview/source_view.py b/src/core/widgets/base/sourceview/source_view.py index 53c6c0e..447b4ad 100644 --- a/src/core/widgets/base/sourceview/source_view.py +++ b/src/core/widgets/base/sourceview/source_view.py @@ -67,8 +67,6 @@ class SourceView(SourceViewControllerMixin, GtkSource.View): self.set_show_right_margin(True) self.set_right_margin_position(80) self.set_background_pattern(0) # 0 = None, 1 = Grid - # NOTE: Add back once we move to Gtk 4 and use GtkSource 5 - # self.set_indenter( AutoIndenter() ) buffer = self.get_buffer() self._create_default_tag(buffer) @@ -97,4 +95,4 @@ class SourceView(SourceViewControllerMixin, GtkSource.View): ... def _load_widgets(self): - self._set_up_dnd() + self._set_up_dnd() \ No newline at end of file