private void loadHelpData() {
tocOrder = new ArrayList<>();
hiddenTocs = new HashSet<>();
hiddenIndexes = new HashSet<>();
sortMode = "true";
if (url != null) {
try {
SAXParser parser = SAXParserFactory.newInstance().newSAXParser();
InputStream in = url.openStream();
parser.parse(in, new Handler());
}
catch (Throwable t) {
String msg = "Error loading help data file \"" + url + "\"";
HelpPlugin.logError(msg, t);
}
} else {
IPreferencesService preferencesService = Platform.getPreferencesService();
String baseTocs = preferencesService.getString(HelpPlugin.PLUGIN_ID, HelpPlugin.BASE_TOCS_KEY, "", null);
String ignoredTocs = preferencesService.getString(HelpPlugin.PLUGIN_ID, HelpPlugin.IGNORED_TOCS_KEY, "", null);
String ignoredIndexes = preferencesService.getString(HelpPlugin.PLUGIN_ID, HelpPlugin.IGNORED_INDEXES_KEY, "", null);
tocOrder = ProductPreferences.tokenize(baseTocs);
hiddenTocs.addAll(ProductPreferences.tokenize(ignoredTocs));
hiddenIndexes.addAll(ProductPreferences.tokenize(ignoredIndexes));
}
}