import java.util.*; import java.awt.*; public class GraphWindow extends ScrollingFrame { protected ControlWindow _controls; protected Blackboard _bb; public GraphWindow(Blackboard black, GraphPanel panel, ControlWindow c) { super( "Graph Embedding", panel ); _bb = black; panel.setScrollbars( _sbv, _sbh ); // Hook the scrollbars up with the panel _controls = c; _controls.pack(); } public boolean action(Event evt, Object arg) { if (evt.target == _button ) { if( !_controls.showing() ) { _controls.start(); _controls.show(); _controls.showing( true ); } else { _controls.showing( false ); _controls.stop(); _controls.handleEvent(new Event(_controls,Event.WINDOW_DESTROY,null)); } return true; } return super.action( evt, arg ); } public boolean handleEvent(Event evt) { if( evt.id == Event.WINDOW_ICONIFY || evt.id == Event.WINDOW_DESTROY ) { if( _controls.showing() ) { _controls.showing( false ); _controls.stop(); _controls.handleEvent(new Event(_controls,Event.WINDOW_DESTROY,null)); } } return super.handleEvent(evt); } } // class GraphWindow