fix for gtk gui
authorThomasV <thomasv@gitorious>
Thu, 11 Oct 2012 23:32:26 +0000 (01:32 +0200)
committerThomasV <thomasv@gitorious>
Thu, 11 Oct 2012 23:32:26 +0000 (01:32 +0200)
commitc7311a1e7fea5211262ecfe7ac12d35e8601294a
treeb8ca7c7005e2388db87aacc2b2fbfcbb72928da4
parent7959417751b256923edc0ed2b5f6e36f3af843f7
fix for gtk gui
lib/gui.py