Re: Lost in space

Ludovic Brenta <[email protected]> Mon, 21 Sep 2009 17:30:58 +0200

Newsgroups	gmane.comp.ide.gps.user
Message-ID	<[email protected]>

Selon Mathieu Dubois <[email protected]>:
> 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.