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