public void done( DockController controller ){ history.setController( controller ); } });
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; }