+
+ string const index_command =
+ fromqstr(indexCO->itemData(
+ indexCO->currentIndex()).toString());
+ string const index_options = fromqstr(indexOptionsED->text());
+ if (index_command == "default" || index_options.empty())
+ params.index_command = index_command;
+ else
+ params.index_command = index_command + " " + index_options;
+}
+
+
+void GuiIndices::on_indexCO_activated(int n)
+{
+ indexOptionsED->setEnabled(n != 0);
+ changed();
+}
+
+
+void GuiIndices::on_indexOptionsED_textChanged(QString)
+{
+ changed();