Provide for user editable keyboard shortcuts
Submitted by an unknown user
Link to original bug (#699737)
Description
We regularly get requests for this or that keyboard shortcut. This bug report is intended to collect them in view of allowing for user editable short cuts since it seems everybody likes different shortcuts.
Version: git master