ThomasV 19063d2395 text gui: save the history to speed up display		2013-10-07 10:48:44 +02:00
..
qt	update the gtk gui	2013-10-07 10:05:15 +02:00
__init__.py	documentation on GUI	2013-09-13 09:40:34 +02:00
android.py	simplify gui names	2013-09-24 10:06:03 +02:00
gtk.py	update the gtk gui	2013-10-07 10:05:15 +02:00
stdio.py	re-add stdio guy	2013-09-26 05:23:17 +02:00
text.py	text gui: save the history to speed up display	2013-10-07 10:48:44 +02:00