Re: Space seen as Ctrl+space in AdaCore GPS GPL edition 2011

[David MENTRE <dmentre@linux-france.org>]

Hello Ludovic,

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> David MENTRE <dmentre@linux-france.org> writes:
>> Hello,
>>
>> I have installed AdaCore's GNAT GPL edition 2011 on my Linux Ubuntu
>> 11.04, x86 64 bits platform.
>>
>> When using GPS (GPS 5.0.1 (20110113) hosted on x86_64-pc-linux-gnu) on
>> one of my project, each time I enter "space" (space bar key) it is seen
>> as "ctrl+space" by GPS (no space character is inserted, a contextual
>> menu appears with proposals for different possible completions).
>
> This seems like:
>
> https://groups.google.com/group/fr.comp.lang.ada/msg/e1ae4d0762c0dd7f?pli=1
>
> and in English:
>
> http://lists.adacore.com/pipermail/gps-users/2009-September/000600.html
>
> Please tell us whether the above solves your problem.

Yes, it solves my issue. Thanks!

Is there any explanation somewhere *why* I should disable this
non-breakable space feature?

Thanks a lot,
david
-- 
GPG/PGP key: A3AD7A2A      --     dmentre@linux-france.org
 5996 CC46 4612 9CA4 3562  D7AC 6C67 9E96 A3AD 7A2A