+ time_ = time;
+
+ if (value_widget_) {
+ updating_value_widget_ = true;
+ value_widget_->setValue(time);
+ updating_value_widget_ = false;
+ }
+
+ view_.time_item_appearance_changed(true, true);
+}
+
+float TimeMarker::get_x() const
+{
+ return (time_ - view_.offset()) / view_.scale();
+}
+
+QPoint TimeMarker::point() const
+{
+ return QPoint(get_x(), 0);
+}
+
+QRectF TimeMarker::label_rect(const QRectF &rect) const
+{
+ const float x = (time_ - view_.offset()) / view_.scale();
+
+ QFontMetrics m(QApplication::font());
+ const float text_width =
+ max(m.boundingRect(get_text()).size().width(), ArrowSize);
+ const float text_height = m.boundingRect("Tg").size().height();
+
+ const QSizeF label_size(
+ text_width + View::LabelPadding.width() * 2,
+ text_height + View::LabelPadding.height() * 2);
+ const float top = rect.height() - label_size.height() -
+ TimeMarker::Offset - TimeMarker::ArrowSize - 0.5f;
+ const float height = label_size.height();
+
+ return QRectF(x - label_size.width() / 2, top,
+ label_size.width(), height);
+}
+
+void TimeMarker::paint_label(QPainter &p, const QRect &rect)
+{
+ if (!enabled())
+ return;
+
+ const qreal x = (time_ - view_.offset()) / view_.scale();
+ const QRectF r(label_rect(rect));
+
+ const QPointF points[] = {
+ r.topLeft(),
+ r.bottomLeft(),
+ QPointF(max(r.left(), x - ArrowSize), r.bottom()),
+ QPointF(x, rect.bottom()),
+ QPointF(min(r.right(), x + ArrowSize), r.bottom()),
+ r.bottomRight(),
+ r.topRight()
+ };
+
+ const QPointF highlight_points[] = {
+ QPointF(r.left() + 1, r.top() + 1),
+ QPointF(r.left() + 1, r.bottom() - 1),
+ QPointF(max(r.left() + 1, x - ArrowSize), r.bottom() - 1),
+ QPointF(min(max(r.left() + 1, x), r.right() - 1),
+ rect.bottom() - 1),
+ QPointF(min(r.right() - 1, x + ArrowSize), r.bottom() - 1),
+ QPointF(r.right() - 1, r.bottom() - 1),
+ QPointF(r.right() - 1, r.top() + 1),
+ };
+
+ if (selected()) {
+ p.setPen(highlight_pen());
+ p.setBrush(Qt::transparent);
+ p.drawPolygon(points, countof(points));
+ }
+
+ p.setPen(Qt::transparent);
+ p.setBrush(colour_);
+ p.drawPolygon(points, countof(points));
+
+ p.setPen(colour_.lighter());
+ p.setBrush(Qt::transparent);
+ p.drawPolygon(highlight_points, countof(highlight_points));
+
+ p.setPen(colour_.darker());
+ p.setBrush(Qt::transparent);
+ p.drawPolygon(points, countof(points));
+
+ p.setPen(select_text_colour(colour_));
+ p.drawText(r, Qt::AlignCenter | Qt::AlignVCenter, get_text());
+}
+
+void TimeMarker::paint_fore(QPainter &p, const ViewItemPaintParams &pp)
+{
+ if (!enabled())
+ return;
+
+ const float x = get_x();
+ p.setPen(colour_.darker());
+ p.drawLine(QPointF(x, pp.top()), QPointF(x, pp.bottom()));
+}
+
+pv::widgets::Popup* TimeMarker::create_popup(QWidget *parent)
+{
+ using pv::widgets::Popup;
+
+ Popup *const popup = new Popup(parent);
+ QFormLayout *const form = new QFormLayout(popup);
+ popup->setLayout(form);
+
+ value_widget_ = new QDoubleSpinBox(parent);
+ value_widget_->setDecimals(9);
+ value_widget_->setSuffix("s");
+ value_widget_->setSingleStep(1e-6);
+ value_widget_->setRange(-1.0e9, 1.0e9);
+ value_widget_->setValue(time_);
+
+ connect(value_widget_, SIGNAL(valueChanged(double)),
+ this, SLOT(on_value_changed(double)));
+
+ form->addRow(tr("Time"), value_widget_);
+
+ return popup;