コード例 #1
0
ファイル: WidgetPanel.java プロジェクト: firatsoylu/NetLogo 
 public void handle(org.nlogo.window.Events.ZoomedEvent e) {
   unselectWidgets();
   zoomer.zoomWidgets(e.zoomFactor);
   revalidate();
 }