@Override
public void close() {
if (!ok) return;
super.close();
gui.set(MainOptions.TEXTINDEX, txtindex.isSelected());
gui.set(MainOptions.ATTRINDEX, atvindex.isSelected());
gui.set(MainOptions.FTINDEX, ftxindex.isSelected());
general.setOptions();
ft.setOptions();
}
@Override
public void close() {
try {
gui.set(MainOptions.EXPORTER, options(SerialMethod.valueOf(method.getSelectedItem())));
} catch (final BaseXException ex) {
throw Util.notExpected(ex);
}
if (!ok) return;
super.close();
path.store();
}
@Override
public void close() {
if (!ok) return;
super.close();
gui.set(MainOptions.TEXTINDEX, textindex.isSelected());
gui.set(MainOptions.ATTRINDEX, attrindex.isSelected());
gui.set(MainOptions.TOKENINDEX, tokenindex.isSelected());
gui.set(MainOptions.FTINDEX, ftindex.isSelected());
general.setOptions();
options.setOptions(null);
for (final DialogIndex di : index) di.setOptions();
}