Improvements to debugger-view.