Re: Update

[Michael Rogers <m rogers cs ucl ac uk>]

> OK.  One thing that I have heard requested many times is connecting a
> hotkey to the Gnome foot menu (eg. that nasty windows keys that most
> people seem to have).  I think this possibly comes under the wm-spec,
> although I'm not sure how best to implement it.  My first idea would be to
> have it as a proxying thing like the current root window scheme, but
> there's probably a neater solution.  Any ideas?

I don't know that it's wm-related. How do applications (say, the gmc
root menu) handle their hotkeys when they don't have keyboard focus?

> 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.


Michael Rogers