371 ergonomics add shortcuts to common rr tasks by epasveer · Pull Request #385 · epasveer/seer (original) (raw)

Add:

SHIFT+F5
SHIFT+F6
SHIFT+F7
SHIFT+F8

to step, next, finish, continue, in the reverse direction if RR, Undo, or gdb recording is on.