debugger
debugger copied to clipboard
Add buttons and hotkeys to do reverse execution in the controls widget