Method TextLayoutLock

MiniZincIDE/outputwidget.cpp:918–926

}

TextLayoutLock::TextLayoutLock(OutputWidget* o, bool scroll) : _o(o), _scroll(scroll) {
    if (_o->_frame != _o->ui->textBrowser->document()->rootFrame()) {
        auto frameVisible = _o->isFrameVisible(_o->_frame);
        if (!frameVisible) {
            _o->toggleFrameVisibility(_o->_frame);
        }
    }
    _o->ui->textBrowser->textCursor().beginEditBlock();
}

TextLayoutLock::~TextLayoutLock()
{