Debugger user interface: preferences, console line tracker,launcher tabs.