if(DEBUG) {System.out.println("Setting ANIMATE:" + animate_button.isSelected());} pluginRef.setAnimateLayout(animate_button.isSelected()); }
if(DEBUG) {System.out.println("Zooming 1:1");} _renderbox.zoomGraph(1.0); }
	           public void actionPerformed(ActionEvent e) {	               if(DEBUG) {System.out.println("Setting ANIMATE:" + animate_button.isSelected());}	               pluginRef.setAnimateLayout(animate_button.isSelected());	           }