| 780 | } |
| 781 | |
| 782 | void TraditionalView::showNodeInfo() const |
| 783 | { |
| 784 | |
| 785 | if (!solver_data_.hasInfo()) |
| 786 | return; |
| 787 | |
| 788 | const auto cur_nid = node(); |
| 789 | if (cur_nid == NodeID::NoNode) |
| 790 | return; |
| 791 | |
| 792 | auto info_dialog = new QDialog; |
| 793 | auto layout = new QVBoxLayout(info_dialog); |
| 794 | |
| 795 | QTextEdit* te = new QTextEdit; |
| 796 | te->append(solver_data_.getInfo(cur_nid).c_str()); |
| 797 | |
| 798 | layout->addWidget(te); |
| 799 | |
| 800 | info_dialog->setAttribute(Qt::WA_DeleteOnClose); |
| 801 | info_dialog->show(); |
| 802 | } |
| 803 | |
| 804 | void TraditionalView::showNogoods() const |
| 805 | { |