ThomasV 87a8bfda47 plugins settings widget

2013-10-08 11:38:40 +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

update android interface

2013-10-07 20:11:41 +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