export { TerminalsPanel } from './TerminalsPanel';
export { TerminalPanelToggle } from './TerminalPanelToggle';
export { TerminalTabBar } from './TerminalTabBar';
export { TerminalViewer } from './TerminalViewer';

/** @deprecated Use TerminalsPanel instead */
export { TerminalsPanel as TerminalsSidebar } from './TerminalsPanel';
/** @deprecated Use TerminalPanelToggle instead */
export { TerminalPanelToggle as TerminalsSidebarToggle } from './TerminalPanelToggle';
/** @deprecated Use TerminalTabBar instead */
export { TerminalTabBar as TerminalList } from './TerminalTabBar';
