ThomasV 13fbf9904e android: fixes

2013-10-08 17:13:59 +02:00

..

qt

plugins settings widget

2013-10-08 11:38:40 +02:00

__init__.py

documentation on GUI

2013-09-13 09:40:34 +02:00

android.py

android: fixes

2013-10-08 17:13:59 +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