TerminalStripTreeDockWidget 0 0 397 542 Terminal strip explorer true false 1