* fixed updating the pause button in the debugger