Issue 7161: The yellow line of the debugger does not always disappear when switching the source