Debugger: ensuring the cursor is visible when stepping