From 85785bafa68127f77c0bcaf4a0b4dd3e03234c07 Mon Sep 17 00:00:00 2001 From: Sören Tempel Date: Tue, 8 Jun 2021 12:24:26 +0200 Subject: saneterm: move search bar to top of window This is what most applications (with the exception of firefox) do. Notably, this is also what evince does which inspired the design of the current search bar version. --- saneterm/terminal.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/saneterm/terminal.py b/saneterm/terminal.py index 54dc321..827f46c 100644 --- a/saneterm/terminal.py +++ b/saneterm/terminal.py @@ -92,6 +92,9 @@ class Terminal(Gtk.Window): vbox = Gtk.Box.new(Gtk.Orientation.VERTICAL, 0) self.add(vbox) + self.search_bar = SearchBar(self.termview) + vbox.pack_start(self.search_bar, False, True, 0) + self.scroll = Gtk.ScrolledWindow().new(None, None) self.scroll.set_policy(Gtk.PolicyType.AUTOMATIC, Gtk.PolicyType.ALWAYS) self.scroll.add(self.termview) @@ -102,9 +105,6 @@ class Terminal(Gtk.Window): vscroll = self.scroll.get_vscrollbar() vscroll.hide() - self.search_bar = SearchBar(self.termview) - vbox.pack_start(self.search_bar, False, True, 0) - signals = { "toggle-search": (), "toggle-config": (GObject.TYPE_STRING,), -- cgit 1.4.1