Refresh in ExecutionMonitor on refresh in DebuggingView. Closes #169.