Java Zoomer.updateZoomInfoの例

コード例 #1

ファイル: WidgetPanel.java プロジェクト: firatsoylu/NetLogo

 public void resetZoomInfo(Widget widget) {
   zoomer.updateZoomInfo(widget);
 }

コード例 #2

ファイル: WidgetPanel.java プロジェクト: firatsoylu/NetLogo

 public void handle(org.nlogo.window.Events.WidgetEditedEvent e) {
   new org.nlogo.window.Events.DirtyEvent().raise(this);
   zoomer.updateZoomInfo(e.widget);
 }