debugger GUI finalized