public void save() {
ensureLocation();
for (int i = 0; i < sets.size(); i++) {
ScopeSet set = (ScopeSet) sets.get(i);
set.save();
}
IDialogSettings settings = HelpUIPlugin.getDefault().getDialogSettings();
if (activeSet != null) settings.put(ACTIVE_SET, activeSet.getName());
}
/** @return Returns the activeSet. */
public ScopeSet getActiveSet() {
if (activeSet == null) {
IDialogSettings settings = HelpUIPlugin.getDefault().getDialogSettings();
String name = settings.get(ACTIVE_SET);
activeSet = findSet(name);
if (activeSet == null) {
return (ScopeSet) sets.get(0);
}
if (!activeSet.isImplicit()) lastExplicitSet = activeSet;
}
return activeSet;
}
private void loadScopeSets() {
sets = new ArrayList();
IPath location = HelpUIPlugin.getDefault().getStateLocation();
location = location.append("scope_sets"); // $NON-NLS-1$
File dir = location.toFile();
defSet = null;
if (dir.exists() && dir.isDirectory()) {
File[] files =
dir.listFiles(
new FilenameFilter() {
public boolean accept(File dir, String name) {
return name.endsWith(ScopeSet.EXT) || name.endsWith(HistoryScopeSet.EXT);
}
});
for (int i = 0; i < files.length; i++) {
File file = files[i];
String name = file.getName();
int loc = name.lastIndexOf(ScopeSet.EXT);
if (loc != -1) {
ScopeSet set = new ScopeSet(name.substring(0, loc));
sets.add(set);
if (set.isDefault()) defSet = set;
continue;
}
loc = name.lastIndexOf(HistoryScopeSet.EXT);
if (loc != -1) {
HistoryScopeSet set = new HistoryScopeSet(name.substring(0, loc), null);
sets.add(set);
}
}
}
if (sets.size() == 1) {
activeSet = (ScopeSet) sets.get(0);
}
if (defSet == null) {
defSet = new ScopeSet();
sets.add(defSet);
}
}
private String getFileName(String name) {
IPath location = HelpUIPlugin.getDefault().getStateLocation();
location = location.append(SCOPE_DIR_NAME);
location = location.append(encodeFileName(name) + getExtension());
return location.toOSString();
}
public static void ensureLocation() {
IPath location = HelpUIPlugin.getDefault().getStateLocation();
location = location.append(ScopeSet.SCOPE_DIR_NAME);
File dir = location.toFile();
if (dir.exists() == false) dir.mkdir();
}