| 4317 | // ### EditorDockWidget ### |
| 4318 | |
| 4319 | EditorDockWidget::EditorDockWidget(const QString& title, QAction* action, MapEditorController* editor, QWidget* parent) |
| 4320 | : QDockWidget(title, parent) |
| 4321 | , action(action) |
| 4322 | , editor(editor) |
| 4323 | { |
| 4324 | if (editor) |
| 4325 | { |
| 4326 | connect(this, &EditorDockWidget::dockLocationChanged, editor, &MapEditorController::setWindowStateChanged); |
| 4327 | } |
| 4328 | |
| 4329 | if (action) |
| 4330 | { |
| 4331 | connect(toggleViewAction(), &QAction::toggled, action, &QAction::setChecked); |
| 4332 | } |
| 4333 | |
| 4334 | #ifdef Q_OS_ANDROID |
| 4335 | size_grip = new QSizeGrip(this); |
| 4336 | size_grip->resize(size_grip->sizeHint()); |
| 4337 | size_grip->setVisible(isTopLevel()); |
| 4338 | connect(this, &QDockWidget::topLevelChanged, size_grip, &QWidget::setVisible); |
| 4339 | #endif |
| 4340 | } |
| 4341 | |
| 4342 | bool EditorDockWidget::event(QEvent* event) |
| 4343 | { |
nothing calls this directly
no test coverage detected