Method toggleFrameVisibility

MiniZincIDE/outputwidget.cpp:597–636

}

void OutputWidget::toggleFrameVisibility(QTextFrame* frame)
{
    TextLayoutLock lock(this, false);
    auto frameFormat = frame->frameFormat();
    auto visible = !frameFormat.property(Property::Expanded).toBool();
    frameFormat.setProperty(Property::Expanded, visible);
    frame->setFrameFormat(frameFormat);

    auto parentVisible = isFrameVisible(frame->parentFrame());
    if (!parentVisible) {
        return;
    }

    // Set visibility of TextBlocks
    auto cursor = frame->firstCursorPosition();
    auto end = frame->lastCursorPosition();
    while (cursor <= end) {
        auto* childFrame = cursor.currentFrame();
        if (childFrame != nullptr && childFrame != frame) {
            auto childFormat = frame->frameFormat();
            auto childVisible = !childFormat.property(Property::Expanded).toBool();
            if (childVisible == visible) {
                cursor = childFrame->lastCursorPosition();
                cursor.movePosition(QTextCursor::NextBlock);
                continue;
            }
        }

        auto block = cursor.block();
        auto blockFormat = block.blockFormat();
        auto blockVisible = true;
        if (blockFormat.hasProperty(Property::Section)) {
            blockVisible = _sections[blockFormat.property(Property::Section).toString()];
        } else if (blockFormat.hasProperty(Property::MessageType)) {
            blockVisible = _messageTypeVisible[blockFormat.property(Property::MessageType).toString()];
        }
        block.setVisible(isFrameVisible(cursor.currentFrame()) && blockVisible);
        cursor.movePosition(QTextCursor::NextBlock);
    }
}

void OutputWidget::addSection(const QString& section)
{