On Fri, 17 Feb 2012, Paul Hartmann wrote:

I agree, this is a bug. There can a long chain of remappings in case of
a single conflict. One solution is to avoid conflicts altogether, but
this is impossible: The user can change a shortcut and install a plugin
afterwards that uses the supposedly free key.

One problem is, that "Ctrl+Shift+s" becomes "s" in conflict resolution,
because the "s" shortcut is registered after the Plugin and Main menu
shortcuts so it seems to be still free.

Possible solutions:
* Always replace shortcut by a combination with more or the same
modifiers ("Ctrl+Alt+Shift+s" or "Ctrl+Shift+?" with any letter ?).
* Keep a list of shortcuts from the last sessions in a file. For
conflict resolution, avoid combinations that seem to be already in use.

I mainly fixed these cascadings now. The complicated grouping is gone and for conflicts an unlikely key is choosen (F1-F12 with at least 2 modifiers), so one conflict will from now on only kill one shortcut.

Ciao
--
http://www.dstoecker.eu/ (PGP key available)


_______________________________________________
josm-dev mailing list
josm-dev@openstreetmap.org
http://lists.openstreetmap.org/listinfo/josm-dev

Reply via email to