ui for gdb in JavaScript