Debugger pause option bugs have been fixed