diff options
author | Walter Bender <walter.bender@gmail.com> | 2013-03-31 21:34:38 (GMT) |
---|---|---|
committer | Walter Bender <walter.bender@gmail.com> | 2013-03-31 21:34:38 (GMT) |
commit | f0b490b5127202190ba4cb82012889acd94ff1c0 (patch) | |
tree | bc0137a70bb15df6d04ba1450f678f9feed727c3 | |
parent | 5b6c690b8336b9aca38076796c16f81daaadc792 (diff) |
pep8 cleanup
-rw-r--r-- | library.py | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -119,8 +119,9 @@ 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) - wiki_box.set_size_request(Gdk.Screen.width()/4*3, - Gdk.Screen.height()/2 - style.GRID_CELL_SIZE / 2) + wiki_box.set_size_request(int(Gdk.Screen.width() * 3 / 4.), + int((Gdk.Screen.height() - \ + style.GRID_CELL_SIZE) / 2)) custom_widget = Reading_View() custom = Gtk.Notebook() @@ -130,8 +131,9 @@ class View(Gtk.EventBox): custom.append_page(custom_widget, None) # custom.set_size_request(Gdk.Screen.width()/4*3, # Gdk.Screen.height()/2 - 55) - custom.set_size_request(Gdk.Screen.width()/4*3, - Gdk.Screen.height()/2 - style.GRID_CELL_SIZE / 2) + custom.set_size_request(int(Gdk.Screen.width() * 3 / 4.), + int((Gdk.Screen.height() - \ + style.GRID_CELL_SIZE) / 2)) # workspace |