diff options
author | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-08 12:24:26 +0200 |
---|---|---|
committer | Sören Tempel <soeren+git@soeren-tempel.net> | 2021-06-08 12:24:26 +0200 |
commit | 85785bafa68127f77c0bcaf4a0b4dd3e03234c07 (patch) | |
tree | 9053927df45ef86c686284024eefa114c06174b4 | |
parent | 3167a4ad27076e0b1b49e981ad3ff487e3fac8a9 (diff) |
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.
-rw-r--r-- | saneterm/terminal.py | 6 |
1 files 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,), |