From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,1dc824b2453d8ea1,start X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.68.213.68 with SMTP id nq4mr6216383pbc.2.1327756308533; Sat, 28 Jan 2012 05:11:48 -0800 (PST) Path: lh20ni233670pbb.0!nntp.google.com!news2.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder2-2.proxad.net!cleanfeed4-a.proxad.net!nnrp11-1.free.fr!not-for-mail From: David MENTRE Newsgroups: comp.lang.ada Subject: Space seen as Ctrl+space in AdaCore GPS GPL edition 2011 Organization: none Date: Sat, 28 Jan 2012 14:11:47 +0100 Message-ID: <87ehukhsz0.fsf@linux-france.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) Cancel-Lock: sha1:eJBCxE7gqttyRSZdP2IbAra+5uE= MIME-Version: 1.0 NNTP-Posting-Date: 28 Jan 2012 14:11:48 MET NNTP-Posting-Host: 82.229.60.210 X-Trace: 1327756308 news-3.free.fr 10706 82.229.60.210:55733 X-Complaints-To: abuse@proxad.net Content-Type: text/plain; charset=us-ascii Date: 2012-01-28T14:11:48+01:00 List-Id: 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