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 |