Am 28.06.23 um 19:32 schrieb Jens Lideström: > @Hannes: I choose key combinations with Ctrl+<another-key>. > > Another possibility is to use Ctrl+Shift+<another-key>. That is more > complicated to press, but it creates a nice distinction between two > categories of commands: > > Searching and navigation command (existing): Ctrl+<another-key> > > Branch modification commands (new): Ctrl+Shift+<another-key> > > Do you have any opinion on this? Only Ctrl, or Ctrl+Shift for the new > commands? I have no strong opinion, with a mild preference for the versions without Shift, just because they are more ergonomic. -- Hannes
