| 36 | { |
| 37 | |
| 38 | LanternMenu::LanternMenu() : QWidget() |
| 39 | { |
| 40 | auto layout = new QHBoxLayout(this); |
| 41 | |
| 42 | slider_ = new QSlider(Qt::Horizontal); |
| 43 | slider_->setRange(0, 100); |
| 44 | layout->addWidget(slider_); |
| 45 | |
| 46 | auto label_desc = new QLabel("limit:"); |
| 47 | layout->addWidget(label_desc); |
| 48 | |
| 49 | auto label = new QLabel("0"); |
| 50 | layout->addWidget(label); |
| 51 | label->setAlignment(Qt::AlignVCenter | Qt::AlignRight); |
| 52 | label->setMinimumWidth(55); |
| 53 | |
| 54 | connect(slider_, &QSlider::valueChanged, [this, label](int val) { |
| 55 | label->setText(QString::number(val)); |
| 56 | emit limit_changed(val); |
| 57 | }); |
| 58 | } |
| 59 | |
| 60 | ExecutionWindow::ExecutionWindow(Execution &ex, QWidget* parent) |
| 61 | : QMainWindow(parent), execution_(ex) |