[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