From: David MENTRE <dmentre@linux-france.org>
Subject: Space seen as Ctrl+space in AdaCore GPS GPL edition 2011
Date: Sat, 28 Jan 2012 14:11:47 +0100
Date: 2012-01-28T14:11:48+01:00 [thread overview]
Message-ID: <87ehukhsz0.fsf@linux-france.org> (raw)
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).
"Ctrl+space" is still correctly seen.
I have tried several things without any success so far:
* Remove ~/.gps/ directory;
* Add a keyboard short cut (Edit -> Key Shortcuts) for "space"
(e.g. Build All): the short cut is correctly seen as "space" in the
shortcuts window and it executes the correct command when "space" is
pressed;
* Look into Ubuntu's various preferences to see if a shortcut is
assigned to "space", nothing so far;
* When I remove "ctrl+space" as shortcut to "/Edit/Smart Completion"
then the regular space key works (i.e. inserts space characters).
"ctrl+space" does nothing (as expected);
* I previously used GNAT 4.4 Ubuntu package without any issue. This
package is now removed and I checked I executed the correct "gps"
binary from the installed GNAT GPL 2011.
I am a bit stuck now and this issue puzzles me. Any idea of things to
check/configure to have both regular "space" and Smart Completion
"ctrl+space"?
Best regards,
david
--
GPG/PGP key: A3AD7A2A -- dmentre@linux-france.org
5996 CC46 4612 9CA4 3562 D7AC 6C67 9E96 A3AD 7A2A
next reply other threads:[~2012-01-28 13:11 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-01-28 13:11 David MENTRE [this message]
2012-01-28 20:11 ` Space seen as Ctrl+space in AdaCore GPS GPL edition 2011 Ludovic Brenta
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