Keyboard shortcut settings

[Brian J. Tarricone]

Joost Kremers wrote:

> the problem, i think, lies in the fact that window manager shortcuts are a
> kind of keyboard shortcuts, i.e., the former are a subcategory of the
> latter. as a user, i would therefore expect the wm shortcuts to be found
> with the (more general) "keyboard shortcuts".
> 
> my suggestion: rename the shortcuts under keyboard preferences to
> "application shortcuts". that is pretty much what they are, and to a mortal
> user the distinction between "window manager shortcuts" and "application
> shortcuts" makes a lot more sense: wm shortcuts are obviously a different
> thing from application shortcuts, they're certainly not a subcategory.

Yeah, this isn't a bad idea.  Jannis, what do you think?  Not important 
enough to redo the beta1 package, but we can change it for beta2.

> the question then of course becomes whether application shortcuts should
> still be in the keyboard settings. personally, i think it would make sense
> to merge them with the "preferred applications" dialogue and rename it to
> "application management" or something.

Hmm, not sure I'm sold on this.  I'd be much more likely to look for 
keyboard/app shortcuts in a keyboard config dialog than in a preferred 
apps/app management dialog (wth does that even mean?).

I think we're straying from the problem: the issue isn't that the 
keyboard shortcuts for apps is in the keyboard dialog; the problem is 
that the WM shortcuts are in the WM dialog when they should be in the 
keyboard dialog.

Actually, as a simple minimal workaround/fix, we might add a button in 
the keyboard shortcuts dialog to launch the WM settings dialog (with a 
special command-line switch that focuses the WM kbd shortcuts tab) to 
make that a little more discoverable.  I actually like this idea...

	-brian