|
@BetterRed: after some thought I decided to remove the two default shortcuts, so now none of the operations have defaults. Rationale: moving then to the general keyboard shortcut manager might create conflicts with user-defined shortcuts. Fixing this might not be obvious, leading to various confusing support questions. If someone uses the existing shortcuts then they will stop working, giving the person a good hint that something must be changed. Supporting the latter is easier, because the questions will be (or should be) more specific.
|