Make keyboard shortcuts configurable

[Andre.Levy]

@jonray

Hi @Andre.Levy

Hi @jonray

@jonray

Are you on Windows?

I am.

@jonray

Hi @Andre.Levy Are you on Windows? If so, a simple Auto Hotkey script can help.

I’m using MS’ own keyboard manager instead.