diff options
author | Walter Bender <walter.bender@gmail.com> | 2013-03-31 22:13:02 (GMT) |
---|---|---|
committer | Walter Bender <walter.bender@gmail.com> | 2013-03-31 22:13:02 (GMT) |
commit | 83a013d03aab518e6db83fcda5b26e0a407f201c (patch) | |
tree | 4bfb84a84acde05acf345c1853919b08dc37ec21 | |
parent | f0b490b5127202190ba4cb82012889acd94ff1c0 (diff) |
shrink text entry to keep search box from getting too large
-rw-r--r-- | library.py | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -91,7 +91,7 @@ class View(Gtk.EventBox): search_box.pack_start(self.wikimenu, False, False, 0) self.searchentry = Gtk.Entry() - self.searchentry.set_size_request(int(Gdk.Screen.width() / 4), -1) + self.searchentry.set_size_request(int(Gdk.Screen.width() / 6), -1) self.searchentry.set_text(_("Article name")) self.searchentry.select_region(0, -1) self.searchentry.connect('activate', self._search_activate_cb) @@ -119,6 +119,7 @@ class View(Gtk.EventBox): wiki_box.pack_start(search_box, False, False, 0) wiki_box.pack_start(wiki, True, True, 0) wiki_box.pack_start(self.progress, False, False, 0) + logging.debug(int(Gdk.Screen.width() * 3 / 4.)) wiki_box.set_size_request(int(Gdk.Screen.width() * 3 / 4.), int((Gdk.Screen.height() - \ style.GRID_CELL_SIZE) / 2)) |