public void readOptions(String fileName) {
try {
prjName = fileName;
String prjOptStr = prefs.getPref("prjOpt" + prjName);
projectOptions = StringUtils.toArray(prjOptStr, ";", 100);
} catch (Exception e) {
new MessageBox(parent, null).ShowEmpty("Read project options error");
}
}
public void flushOptions() {
if (prjName.compareTo("") == 0) return;
String s = "qqq;";
for (int i = 0; i < projectOptions.length; i++) s += projectOptions[i] + ";";
prefs.setPref("prjOpt" + prjName, s);
}