[gps-users] Lost in space

[Ludovic Brenta]

Selon Mathieu Dubois <mathieu.dubois at limsi.fr>:
> 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?

This question has already been asked and answered on fr.comp.lang.ada:

http://groups.google.com/group/fr.comp.lang.ada/msg/e1ae4d0762c0dd7f

-- 
Ludovic Brenta.