andreasgal/gaia — pull request #1413 by RudyLu (2012-05-16 12:33:16+00:00)
Title: 2 keyboard improvements according to the keyboard recommendation

1. (P.3), not to show the original character in the accent menu
2. (P.2), double tap on space would enter ".", according to keyboard