Roman Zeyde d3f696c301 main_window: call pr.get_id() before it's required		2015-04-23 09:17:46 +03:00
..
qt	main_window: call pr.get_id() before it's required	2015-04-23 09:17:46 +03:00
__init__.py	documentation on GUI	2013-09-13 09:40:34 +02:00
android.py	fix android: from_seed	2015-04-03 11:49:44 +02:00
gtk.py	update occurences of get_history	2015-03-30 20:17:24 +02:00
stdio.py	updates for stdio gui	2015-04-02 15:19:00 +02:00
text.py	text gui: cap size of labels	2015-03-31 22:07:32 +02:00