From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Subject: Re: Space seen as Ctrl+space in AdaCore GPS GPL edition 2011
Date: Sat, 28 Jan 2012 21:11:14 +0100
Date: 2012-01-28T21:11:14+01:00 [thread overview]
Message-ID: <87mx97610d.fsf@ludovic-brenta.org> (raw)
In-Reply-To: 87ehukhsz0.fsf@linux-france.org
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.
--
Ludovic Brenta.
next prev parent reply other threads:[~2012-01-28 20:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-28 13:11 Space seen as Ctrl+space in AdaCore GPS GPL edition 2011 David MENTRE
2012-01-28 20:11 ` Ludovic Brenta [this message]
2012-01-29 17:32 ` David MENTRE
2012-01-29 23:16 ` Ludovic Brenta
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox