MCPcopy Create free account
hub / github.com/MiniZinc/MiniZincIDE / clear

Method clear

MiniZincIDE/outputwidget.cpp:541–561  ·  view source on GitHub ↗

Source from the content-addressed store, hash-verified

539}
540
541void OutputWidget::clear()
542{
543 if (_frame != ui->textBrowser->document()->rootFrame()) {
544 // Can't clear in middle of run
545 return;
546 }
547
548 _sections.clear();
549 _messageTypeVisible.clear();
550 ui->textBrowser->clear();
551 ui->toggleAll_pushButton->setEnabled(false);
552 ui->sectionMenu_pushButton->hide();
553 ui->sectionMenu_pushButton->menu()->clear();
554 ui->messageTypeMenu_pushButton->hide();
555 ui->messageTypeMenu_pushButton->menu()->clear();
556 _frame = ui->textBrowser->document()->rootFrame();
557 qDeleteAll(ui->sectionButtons_widget->findChildren<QWidget*>("", Qt::FindDirectChildrenOnly));
558 qDeleteAll(ui->messageTypeButtons_widget->findChildren<QWidget*>("", Qt::FindDirectChildrenOnly));
559 ui->sectionButtons_widget->show();
560 ui->messageTypeButtons_widget->show();
561}
562
563void OutputWidget::setBrowserFont(const QFont& font)
564{

Callers 2

startExecutionMethod · 0.45
addSolutionMethod · 0.45

Calls

no outgoing calls

Tested by

no test coverage detected