Method setDebugInfoPos

MiniZincIDE/codeeditor.cpp:358–368

}

void CodeEditor::setDebugInfoPos(const QRect &rect, int dy)
{
    if (dy)
        debugInfo->scroll(0, dy);
    else
        debugInfo->update(0, rect.y(), debugInfo->width(), rect.height());


    if (rect.contains(viewport()->rect()))
        setViewportWidth(0);
}