On Wed, May 2, 2012 at 2:24 PM, Luiz Henrique de Figueiredo <lhf@tecgraf.puc-rio.br> wrote: > Ok, '.' is easier to type... That's exactly it. It would be easy to allow people to customize this.
