Esempio n. 1
0
 private void reset() {
   termOptions = TermOptions.getDefault(prefs);
   clonedTermOptions = termOptions.makeCopy();
   panel.setTermOptions(clonedTermOptions);
 }