/** * Calls the method {@link DockUI#updateTheme(DockStation, DockFactory)} * with <code>this</code> as the first argument, and an appropriate factory * as the second argument. * @throws IOException if the DockUI throws an exception */ protected void callDockUiUpdateTheme() throws IOException{ DockUI.updateTheme(this, new SplitDockStationFactory()); }
/** * Calls the method {@link DockUI#updateTheme(DockStation, DockFactory)} * with <code>this</code> as the first argument, and an appropriate factory * as the second argument. * @throws IOException if the DockUI throws an exception */ protected void callDockUiUpdateTheme() throws IOException{ DockUI.updateTheme(this, new SplitDockStationFactory()); }
/** * Constructs a new DockSituation. Factories for {@link DefaultDockable}, * {@link SplitDockStation}, {@link StackDockStation} and * {@link FlapDockStation} will be preinstalled. * @param controller {@link DockController} in whose realm this {@link DockSituation} will be used, the * controller is used to access the {@link ExtensionManager} and load additional factories */ public DockSituation( DockController controller ){ this( new DefaultDockableFactory(), new SplitDockStationFactory(), new StackDockStationFactory(), new FlapDockStationFactory()); @SuppressWarnings("rawtypes") List<DockFactory> factories = controller.getExtensions().load( new ExtensionName<DockFactory>( DOCK_FACTORY_EXTENSION, DockFactory.class, EXTENSION_PARAM, this ) ); for( DockFactory<?,?,?> factory : factories ){ add( factory ); } @SuppressWarnings("rawtypes") List<AdjacentDockFactory> adjacent = controller.getExtensions().load( new ExtensionName<AdjacentDockFactory>( ADJACENT_DOCK_FACTORY_EXTENSION, AdjacentDockFactory.class, EXTENSION_PARAM, this ) ); for( AdjacentDockFactory<?> factory : adjacent ){ addAdjacent( factory ); } }
registerFactory( new SplitDockStationFactory() ); registerFactory( new StackDockStationFactory() ); registerFactory( new FlapDockStationFactory() );