Example #1
0
 public void setValue(String s) {
   setValue(StringToProperties(s, defn));
   if (symbolPanel != null) {
     symbolPanel.reset();
   }
 }
Example #2
0
 public void refresh() {
   if (symbolPanel != null) {
     symbolPanel.refresh();
   }
   visualizer.rebuild();
 }