jcass 11b11a855d Translate unicode keys to actual characters to ensure better handling of shortcut keys.		2015-01-09 13:01:29 +02:00
..
static	Translate unicode keys to actual characters to ensure better handling of shortcut keys.	2015-01-09 13:01:29 +02:00
__init__.py	Merge branch 'develop'	2014-11-24 22:24:39 +01:00
ext.conf	merged #37	2014-09-19 00:59:45 +02:00