runit: make the buttons a bit bigger.

I should probably make them look prettier, but at least I can tap
them easily now.

diff --git a/runit/runit.py b/runit/runit.py
index 2dc744223d169eed2d006cd577072ece6652626f..3559737dc7bcf8749f783d1c75483708fe245894 100644 (file)
--- a/runit/runit.py
+++ b/runit/runit.py
@@ -49,6 +49,7 @@ class Runit(gtk.Window):
         v.show()
 
         h = gtk.HBox(); h.show()
+        h.set_size_request(-1,70)
         v.pack_end(h, expand=False)
 
         b = gtk.Button('EXIT');