Some minor bugs of the debugger fixed and layout improved.