Some improovements for your OaUa

[Matthias Huber]

Marcel schrieb:
>>> Oh, nice! With stock icons it's impossible to change font/icon size,
>>> isn't it? (My try using modify_font() didn't work.)
>>>       

one can do:

self.stop = gtk.Button("gtk-stop")
self.stop.get_child().modify_font(pango.FontDescription("Sans 30"))
               ^^^^^^^
but one cannot use the stock buttons then.
#       self.stop.set_use_stock(True)