juloo 2537a7b221 Replace key_margin with key_bg_padding + Add {vertical,horizontal}_margin		2015-08-01 01:36:41 +02:00
..
juloo.keyboard2	Replace key_margin with key_bg_padding + Add {vertical,horizontal}_margin	2015-08-01 01:36:41 +02:00