/** * Creates a new dispatcher. * @param controller the controller in whose realm this dispatcher works * @param setup tells when the setup phase of <code>controller</code> is finished */ public DefaultGlobalMouseDispatcher( DockController controller, ControllerSetupCollection setup ){ setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ restricted.setProperties( controller ); updateRestricted(); } } ); }
/** * Creates a new dispatcher. * @param controller the controller in whose realm this dispatcher works * @param setup tells when the setup phase of <code>controller</code> is finished */ public DefaultGlobalMouseDispatcher( DockController controller, ControllerSetupCollection setup ){ setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ restricted.setProperties( controller ); updateRestricted(); } } ); }
/** * Creates a new controller * @param controller the realm in which this controller operates * @param setup an observer that informs this object when <code>controller</code> is set up. */ public DefaultKeyboardController( DockController controller, ControllerSetupCollection setup ){ super( controller ); setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ restricted.setProperties( controller ); updateRestricted(); } }); }
/** * Creates a new controller * @param controller the realm in which this controller operates * @param setup an observer that informs this object when <code>controller</code> is set up. */ public DefaultKeyboardController( DockController controller, ControllerSetupCollection setup ){ super( controller ); setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ restricted.setProperties( controller ); updateRestricted(); } }); }
/** * Creates a new FocusController. * @param controller the controller which will be informed about * focus-changes * @param setup an observable informing this object when <code>controller</code> * is set up. */ public DefaultMouseFocusObserver( DockController controller, ControllerSetupCollection setup ){ this.controller = controller; setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { controller.getRelocator().addVetoableDockRelocatorListener( relocatorListener ); GlobalMouseDispatcher dispatcher = controller.getGlobalMouseDispatcher(); dispatcher.addMouseListener( listener ); dispatcher.addMouseMotionListener( listener ); dispatcher.addMouseWheelListener( listener ); } }); }
/** * Creates a new FocusController. * @param controller the controller which will be informed about * focus-changes * @param setup an observable informing this object when <code>controller</code> * is set up. */ public DefaultMouseFocusObserver( DockController controller, ControllerSetupCollection setup ){ this.controller = controller; setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { controller.getRelocator().addVetoableDockRelocatorListener( relocatorListener ); GlobalMouseDispatcher dispatcher = controller.getGlobalMouseDispatcher(); dispatcher.addMouseListener( listener ); dispatcher.addMouseMotionListener( listener ); dispatcher.addMouseWheelListener( listener ); } }); }
setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { controller.addRepresentativeListener( new DockControllerRepresentativeListener(){
public FocusController createFocusController( DockController controller, ControllerSetupCollection setup ){ final DefaultFocusController focus = new DefaultFocusController( controller ); setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ focus.setStrategy( new DefaultFocusStrategy( controller ) ); } }); return focus; }
public DockableSelector createDockableSelector( DockController controller, ControllerSetupCollection setup ) { final DockableSelector selector = new DockableSelector(); setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { selector.setController( controller ); } }); return selector; }
public FocusHistory createFocusHistory( DockController controller, ControllerSetupCollection setup ){ final DefaultFocusHistory history = new DefaultFocusHistory(); setup.add( new ControllerSetupListener(){ public void done( DockController controller ){ history.setController( controller ); } }); return history; }
setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { controller.addRepresentativeListener( new Listener() );
setup.add( new ControllerSetupListener(){ public void done( DockController controller ) { controller.addRepresentativeListener( listeners );