Method showDebugInfo

MiniZincIDE/codeeditor.cpp:323–338

}

void CodeEditor::showDebugInfo(bool show)
{
    if (filepath!="" && !filepath.endsWith(".mzn"))
        show = false;
    if (show) {
        if(debugInfo->isHidden()){
            debugInfo->show();
            setViewportWidth(0);
        }
    } else {
        if(!debugInfo->isHidden()){
            debugInfo->hide();
            setViewportWidth(0);
        }
    }
}

void CodeEditor::setViewportWidth(int)
{