[solved] Re: Ctrl + F11 not working in Eclipse
Just realised this message had been sent to me only, though I presume
it was meant to go to the list as well...
BTW, as this is the second incidence within a short period of time,
I'm starting to wonder whether it's me who is tricking people's MUAs
into replying privately _only_. I've just checked my Mail-Followup-To
header, but it doesn't seem to be set at all (as intended).
Anything else in my headers that makes some MUAs drop the list address
unexpectedly? Thanks for any tips :)
On Mon, May 09, 2005 at 10:02:26AM +0200, firstname.lastname@example.org wrote:
> Thank you! I was using KDE and I tried with WindowMaker. Ctrl+F11 works OK there.
> But I decided to change the key bindings in Eclipse.
> In case others want to do that:
> 1.) choose Window --> Preferences --> Workbench --> Keys
> 2.) select category Run/Debug
> 3.) select name "Run Last Launched"
> 4.) click into the key sequence field
> 5.) type in your favorite key (e. g. Shift+F11)
> 6.) Click Add, Apply and OK
> Hans-Joerg v. Mettenheim
> On 8 May 2005 at 23:06, Almut Behrens wrote:
> > On Sun, May 08, 2005 at 09:57:28PM +0200, email@example.com wrote:
> > >
> > > I'm using Eclipse and Ctrl + F11 is not working, i. e. nothing happens
> > > instead of running the last program. If I use Ctrl + F11 outside Eclipse,
> > > e. g. for switching the virtual desktops assuming you have at least
> > > eleven, everything is fine.
> > The latter might exactly be your problem...
> > Not that "everything is fine" ;) but that the window manager / desktop
> > is making use of the respective key events (Ctrl-F*), and doesn't pass
> > them on to the target application. It's kind of consuming the events
> > before Eclipse has a chance to take notice of them...
> > <snip>
> > Which window manager / desktop are you using?
> > To check whether that really is the cause, you could temporarily run a
> > different window manager, which isn't using this Ctrl-F* key combination.
> > If Eclipse is then working as intended, you'd have to figure out how to
> > change key bindings in either the window manager or Eclipse...