ThomasV d70c9d1ab7 stretch column instead of storing width		2015-04-02 17:45:44 +02:00
..
qt	stretch column instead of storing width	2015-04-02 17:45:44 +02:00
__init__.py	documentation on GUI	2013-09-13 09:40:34 +02:00
android.py	update occurences of get_history	2015-03-30 20:17:24 +02:00
gtk.py	update occurences of get_history	2015-03-30 20:17:24 +02:00
stdio.py	updates for stdio gui	2015-04-02 15:19:00 +02:00
text.py	text gui: cap size of labels	2015-03-31 22:07:32 +02:00