diff --git a/src/gui/mmohighlight.cpp b/src/gui/mmohighlight.cpp index b0f6566d..4acad45c 100644 --- a/src/gui/mmohighlight.cpp +++ b/src/gui/mmohighlight.cpp @@ -196,6 +196,7 @@ MmoHighlighter::MmoHighlighter(QTextDocument *parent, h_type file) : QSyntaxHigh << "\\bSparse\\b" << "\\bScotch\\b" << "\\bPatoh\\b" + << "\\bKaHIP\\b" << "\\bManual\\b" << "\\bMTPL\\b" << "\\bMTPL_IT\\b" diff --git a/src/gui/runform.cpp b/src/gui/runform.cpp index 045d3f1c..f5085d1a 100644 --- a/src/gui/runform.cpp +++ b/src/gui/runform.cpp @@ -249,7 +249,8 @@ int RunDlg::getPartitionMethodIdx(QString str) if (str.trimmed() == "HMetis") return 1; if (str.trimmed() == "Scotch") return 2; if (str.trimmed() == "Patoh") return 3; - if (str.trimmed() == "Manual") return 4; + if (str.trimmed() == "KaHIP") return 4; + if (str.trimmed() == "Manual") return 5; return 0; } @@ -265,9 +266,11 @@ QString RunDlg::getPartitionMethodString(int idx) case 3: return "Patoh"; case 4: + return "KaHIP"; + case 5: return "Manual"; } - return "Metis"; + return "Scotch"; } int RunDlg::getJacobianIdx(QString str) diff --git a/src/gui/ui/run.ui b/src/gui/ui/run.ui index 418a3fea..56567cf1 100644 --- a/src/gui/ui/run.ui +++ b/src/gui/ui/run.ui @@ -515,6 +515,11 @@ PATOH + + + KAHIP + + MANUAL