| 103 | /// Returns nullptr if window is not present |
| 104 | |
| 105 | EnhancedTabBarWidgetInterface* EnhancedWorkspace::getWidget(int id) const |
| 106 | { |
| 107 | for (const auto& sub_window : this->subWindowList()) |
| 108 | { |
| 109 | EnhancedTabBarWidgetInterface* w = dynamic_cast<EnhancedTabBarWidgetInterface*>(sub_window->widget()); |
| 110 | //cout << " Tab " << i << ": " << w->window_id << endl; |
| 111 | if (w != nullptr && w->getWindowId() == id) |
| 112 | { |
| 113 | return w; |
| 114 | } |
| 115 | } |
| 116 | return nullptr; |
| 117 | } |
| 118 | |
| 119 | void EnhancedWorkspace::dragEnterEvent(QDragEnterEvent * event) |
| 120 | { |
no test coverage detected