On 11/25/19 9:00 AM, Roman Haefeli wrote:
Personally, I use this so often it would warrant its own keyboard shortcut.
i use this so seldomly, that i wouldn't have thought about adding a keyboard shortcut.
anyhow: i think the way forward is to make the shortcuts user-configurable, so everybody can map whatever they prefer to any menu-option.
fdsamr IOhannes