Exemple #1
0
 public void refresh() {
   if (symbolPanel != null) {
     symbolPanel.refresh();
   }
   visualizer.rebuild();
 }