if (targetDir == null)
return;
View view = (View) window.getActivePage().findView(View.ID);
Converter converter = new Converter(
targetDir,
view.getAllEntries(),
new ProblemsDialogCreator(window),
new ConversionGraphCreator(),
new ConversionProgressDialog(window),
new IProfileProvider() {
public List<String> getDesiredTargetFormats() {
String formats = Activator.getDefault().getPreferenceStore().getString(PreferenceConstants.P_FORMATS);
StringTokenizer tokenizer = new StringTokenizer(formats, ";");
List<String> ret = new ArrayList<String>();
while (tokenizer.hasMoreTokens()) {
ret.add(tokenizer.nextToken());
}
return ret;
}
}
);
converter.start();
}
};
ret.setEnabled(false);
}
else {