better interaction of debugger prompt and buttons, better line numbering for source code