Method closeFindWidget

MiniZincIDE/mainwindow.cpp:2583–2587

}

void MainWindow::closeFindWidget()
{
    ui->findFrame->hide();
    curEditor->setFocus();
}

void MainWindow::on_find_textEdited(const QString &)
{