Re: Lost in space

Ludovic Brenta wrote:
> 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
>   
Hello,

Thanks for the answer it solved my problem (and I am going to subscribe 
to fr.comp.lang.ada).

If English readers are interested here is a rough translation of the 
(French) previous post:

1- close GPS

2- Open Gnome Keyboard properties:
   under GNOME : (System => Preferences => Keyboard)
   under another WM : $ gnome-keyboard-properties

3- Select the "Layout" tab & click on the "Layout Options" button. A 
window opens

4- In the new window unfold "Using space key to input non-breakable 
space character"
& select "Usual space at any level"

5- Close the two windows

6- restart GPS


Thanks again,
Mathieu