-
Michael Reisecker authored
Those shortcuts are system-dependent (and in fact don't even work on my Ubuntu), so now we try to fetch the native key sequences. Added a few more why not...
effec21f
To find the state of this project's repository at the time of any of these versions, check out the tags.