Method onBrowserContextMenu

MiniZincIDE/outputwidget.cpp:1040–1043

}

void OutputWidget::onBrowserContextMenu(const QPoint& pos)
{
    _contextMenu->popup(ui->textBrowser->viewport()->mapToGlobal(pos));
}