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