thomasv 2a0c8dcda1 rename col width

2013-10-07 17:15:24 +02:00

..

qt

rename col width

2013-10-07 17:15:24 +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