| 282 | } |
| 283 | |
| 284 | DockTabBar::WidgetsFromTabIndexResult DockTabBar::widgetsFromTabIndex(int tab_index) |
| 285 | { |
| 286 | KDDockWidgets::Core::TabBar* tab_bar_controller = asController<KDDockWidgets::Core::TabBar>(); |
| 287 | if (!tab_bar_controller) |
| 288 | return {}; |
| 289 | |
| 290 | KDDockWidgets::Core::DockWidget* dock_controller = tab_bar_controller->dockWidgetAt(tab_index); |
| 291 | if (!dock_controller) |
| 292 | return {}; |
| 293 | |
| 294 | auto dock_view = static_cast<KDDockWidgets::QtWidgets::DockWidget*>(dock_controller->view()); |
| 295 | |
| 296 | DebuggerView* widget = qobject_cast<DebuggerView*>(dock_view->widget()); |
| 297 | if (!widget) |
| 298 | return {}; |
| 299 | |
| 300 | return {widget, dock_controller, dock_view}; |
| 301 | } |
| 302 | |
| 303 | void DockTabBar::mouseDoubleClickEvent(QMouseEvent* event) |
| 304 | { |