Method drawObject

MiniZincIDE/outputwidget.cpp:942–980

}

void OutputWidgetArrow::drawObject(QPainter* painter, const QRectF& rect, QTextDocument* doc, int posInDocument, const QTextFormat& format)
{
    QFontMetrics metrics(format.toCharFormat().font());

    QTextCursor cursor(doc);
    cursor.setPosition(posInDocument);
    auto t = cursor.currentTable();
    assert(t != nullptr);
    cursor.setPosition(t->lastPosition() + 2);
    auto* f = cursor.currentFrame();
    assert(f != nullptr);

    auto ff = f->frameFormat();
    bool expanded = ff.property(OutputWidget::Property::Expanded).toBool();
    
    auto tf = t->format();
    auto requiredFormat = static_cast<OutputWidget*>(parent())->headerTableFormat();
    if (tf.columnWidthConstraints()[0].rawValue() !=
            requiredFormat.columnWidthConstraints()[0].rawValue()) {
        // Re-align
        t->setFormat(requiredFormat);
        f->setFrameFormat(static_cast<OutputWidget*>(parent())->frameFormat());
    }

    auto h2 = metrics.ascent() / 2;
    auto w2 = h2 / 2;

    QPainterPath p;
    p.moveTo(-w2, -h2);
    p.lineTo(w2, 0);
    p.lineTo(-w2, h2);
    p.closeSubpath();
    painter->translate(rect.center());
    if (expanded) {
        painter->rotate(90);
    }
    auto infoFormat = static_cast<OutputWidget*>(parent())->infoCharFormat();
    painter->fillPath(p, infoFormat.foreground());
}

void OutputWidget::on_toggleAll_pushButton_clicked()
{