[Notion-general] New keybindings

[Arnout E. <no...@bz...>]

Hi,

The current set of keybindings does not make much sense, and also claims
the function keys, which is inconvenient. I think it'd be useful to discuss
an overhaul.

I've put something together at
http://notion.sourceforge.net/notionkeys3.html .
I appreciate keybindings are something highly personal, so of course the
current bindings will remain available as an option and your custom
configuration will just keep working :). I do feel we should give new users
better defaults though.

The above attempt introduces 4 kinds of bindings:
1) Direct command keys: These take action immediately, i.e. splitting

2) Parameterized command keys: These open a query window for a parameter,
such as 'run'.

3) Locator keys. These identify a tab/frame/workspace/screen (absolutely or
relative to the currently focused). Pressing a locator key will move the
focus to that tab/frame/workspace/screen

4) Locator-parameterized command keys: These are commands that take a
tab/frame/workspace/screen parameter. When pressing such a command key:
* a query opens so you can search for the object by name
* a default is presented (so you can hopefully often just hit 'enter')
* you can alternatively specify the object by pressing the respective
locator keybinding

I'd appreciate your thoughts on this approach. Details at
http://notion.sourceforge.net/notionkeys3.html .


Kind regards,

Arnout