[gps-users] Lost in space

Mathieu Dubois mathieu.dubois at limsi.fr
Mon Sep 21 15:44:46 CEST 2009


Hello,

I am using gps version 4.3.1 (20090114) on a x86_64 PC under Ubuntu 9.10 
for a few days and I have noticed a strange behaviour.

After typing a word I normally want to type a space. But GPS proposes a 
completion list and I can't type a space!

I have disabled tooltips and smart completion but it doesn't solve anything.

Is it an option to turn off (and then how to turn it off) or a bug?

Thanks in advance,
Mathieu


More information about the gps-users mailing list