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 :) Almut On Mon, May 09, 2005 at 10:02:26AM +0200, [EMAIL PROTECTED] 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 > > Regards, > 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 PROTECTED] 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... -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
