On 8 December 2017 at 11:37, Sean P. DeNigris <s...@clipperadams.com> wrote:
> Torsten Bergmann wrote > > so we do it with different shortcuts than regular editors > > I wonder if it makes sense to allow the standard shortcut. The current one > is a bit like playing twister ;) > We should be different if there is a good reason, but where possible (especially on UI interface) we should align with the majority. I feel this case is the latter. cheers -ben