| 40 | namespace Gecode { namespace Gist { |
| 41 | |
| 42 | Gist::Gist(Space* root, bool bab, QWidget* parent, |
| 43 | const Options& opt) : QWidget(parent) { |
| 44 | QGridLayout* layout = new QGridLayout(this); |
| 45 | |
| 46 | QAbstractScrollArea* scrollArea = new QAbstractScrollArea(this); |
| 47 | |
| 48 | scrollArea->setHorizontalScrollBarPolicy(Qt::ScrollBarAlwaysOn); |
| 49 | scrollArea->setVerticalScrollBarPolicy(Qt::ScrollBarAlwaysOn); |
| 50 | scrollArea->setAutoFillBackground(true); |
| 51 | QPalette myPalette(scrollArea->palette()); |
| 52 | myPalette.setColor(QPalette::Window, Qt::white); |
| 53 | scrollArea->setPalette(myPalette); |
| 54 | canvas = new TreeCanvas(root, bab, scrollArea->viewport(),opt); |
| 55 | canvas->setPalette(myPalette); |
| 56 | canvas->setObjectName("canvas"); |
| 57 | |
| 58 | connect(scrollArea->horizontalScrollBar(), SIGNAL(valueChanged(int)), |
| 59 | canvas, SLOT(scroll(void))); |
| 60 | connect(scrollArea->verticalScrollBar(), SIGNAL(valueChanged(int)), |
| 61 | canvas, SLOT(scroll(void))); |
| 62 | |
| 63 | QVBoxLayout* sa_layout = new QVBoxLayout(); |
| 64 | sa_layout->setContentsMargins(0,0,0,0); |
| 65 | sa_layout->addWidget(canvas); |
| 66 | scrollArea->viewport()->setLayout(sa_layout); |
| 67 | |
| 68 | connect(canvas, SIGNAL(solution(const Space*)), |
| 69 | this, SIGNAL(solution(const Space*))); |
| 70 | |
| 71 | connect(canvas, SIGNAL(searchFinished(void)), this, SIGNAL(searchFinished(void))); |
| 72 | |
| 73 | QPixmap myPic; |
| 74 | myPic.loadFromData(zoomToFitIcon, sizeof(zoomToFitIcon)); |
| 75 | |
| 76 | QToolButton* autoZoomButton = new QToolButton(); |
| 77 | autoZoomButton->setCheckable(true); |
| 78 | autoZoomButton->setIcon(myPic); |
| 79 | |
| 80 | nodeStatInspector = new NodeStatInspector(this); |
| 81 | |
| 82 | inspect = new QAction("Inspect", this); |
| 83 | inspect->setShortcut(QKeySequence("Return")); |
| 84 | connect(inspect, SIGNAL(triggered()), canvas, |
| 85 | SLOT(inspectCurrentNode())); |
| 86 | |
| 87 | inspectBeforeFP = new QAction("Inspect before fixpoint", this); |
| 88 | inspectBeforeFP->setShortcut(QKeySequence("Ctrl+Return")); |
| 89 | connect(inspectBeforeFP, SIGNAL(triggered()), canvas, |
| 90 | SLOT(inspectBeforeFP(void))); |
| 91 | |
| 92 | stop = new QAction("Stop search", this); |
| 93 | stop->setShortcut(QKeySequence("Esc")); |
| 94 | connect(stop, SIGNAL(triggered()), canvas, |
| 95 | SLOT(stopSearch())); |
| 96 | |
| 97 | reset = new QAction("Reset", this); |
| 98 | reset->setShortcut(QKeySequence("Ctrl+R")); |
| 99 | connect(reset, SIGNAL(triggered()), canvas, |