From 3adb868e04c2e9bf81a36e6b85722d02172d498a Mon Sep 17 00:00:00 2001 From: Tim Potter Date: Tue, 4 Jun 2002 01:41:44 +0000 Subject: Fix long list scrolling bug. Added some padding around the filter entry to make it look nicer. When resizing the window the scrolling list should get bigger/smaller not the filter entry widget. (This used to be commit f504be133cd9659163a609eb11a09a36e56166ee) --- source3/python/gtdbtool | 7 +++---- 1 file changed, 3 insertions(+), 4 deletions(-) diff --git a/source3/python/gtdbtool b/source3/python/gtdbtool index 670fca9973..6513366790 100755 --- a/source3/python/gtdbtool +++ b/source3/python/gtdbtool @@ -44,19 +44,18 @@ class gtdbtool: scrolled_win = GtkScrolledWindow() scrolled_win.set_policy(POLICY_AUTOMATIC, POLICY_AUTOMATIC) vbox.pack_start(scrolled_win) - scrolled_win.set_usize(350,400) scrolled_win.show() hbox = GtkHBox() - vbox.pack_end(hbox) + vbox.pack_end(hbox, expand = 0, padding = 5) hbox.show() label = GtkLabel("Filter:") - hbox.pack_start(label, expand = 0) + hbox.pack_start(label, expand = 0, padding = 5) label.show() self.entry = GtkEntry() - hbox.pack_end(self.entry) + hbox.pack_end(self.entry, padding = 5) self.entry.show() self.entry.connect("activate", self.filter_activated) -- cgit