Added kahip partitioner to gui.

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"

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)

src/gui/ui/run.ui

@@ -515,6 +515,11 @@
           <string>PATOH</string>
          </property>
         </item>
+        <item>
+         <property name="text">
+          <string>KAHIP</string>
+         </property>
+        </item>
         <item>
          <property name="text">
           <string>MANUAL</string>