Re: Update

[Greg Badros <gjb cs washington edu>]

Michael Rogers <m.rogers@cs.ucl.ac.uk> writes:

> > I think that as far as allocating the key goes, the app should say to the
> > window manager "I would like a hotkey", and it is up to the wm to decide
> > which key it uses at the hotkey.
> 
> This goes against the ICCCM, which says that the window manager
> shouldn't use any key combinations at all... but then how many window
> managers follow that advice? Even so, I'm not sure that the window
> manager should get involved in managing other applications' hotkeys.

I though ICCCM just said that you have to provide a way to quote any
keystroke so that it can get sent to an application even if the window
manager wants to use the unquoted keystroke for something else.

Greg