Method showEvent

MiniZincIDE/codeeditor.cpp:389–392

}

void CodeEditor::showEvent(QShowEvent *event)
{
    setViewportWidth(0);
}