Sophie: jed-common-0.99.19-17.mga7 armv7hl

jed-common-0.99.19-17.mga7.armv7hl.rpm

Info
Deps
Files
Scripts
ChangeLog
Location
Others versions
Analyse

The `undo' function is bound to keys `Ctrl-_' and `Ctrl-X u'.  There is
no `redo' function.  However, it is possible to `redo' by first
pressing `Ctrl-G' followed immediately by either `Ctrl-_' or `Ctrl-X u'.
That is, `Ctrl-G' tells the `undo' function to `redo'.