Method closeEvent

MiniZincIDE/outputdockwidget.cpp:4–10

#include <QCloseEvent>

void OutputDockWidget::closeEvent(QCloseEvent *event) {
    if (isFloating())
        setFloating(false);
    else
        hide();
    event->ignore();
}