Esempio n. 1
0
 public void resetZoomInfo(Widget widget) {
   zoomer.updateZoomInfo(widget);
 }
Esempio n. 2
0
 public void handle(org.nlogo.window.Events.WidgetEditedEvent e) {
   new org.nlogo.window.Events.DirtyEvent().raise(this);
   zoomer.updateZoomInfo(e.widget);
 }