-
Matthias Clasen authored
Repeating Alt-1 to Alt-9 as individual shortcuts looks really boring, so allow compressing such ranges by specifying <Alt>1...9.
67a54bf4
Repeating Alt-1 to Alt-9 as individual shortcuts looks really boring, so allow compressing such ranges by specifying <Alt>1...9.