public ScreenDockProperty copy() { ScreenDockProperty copy = new ScreenDockProperty( x, y, width, height, placeholder, fullscreen ); copy( copy ); return copy; }
public void aside( AsideRequest request ){ DockableProperty location = request.getLocation(); if( location instanceof ScreenDockProperty ){ ScreenDockProperty screenLocation = (ScreenDockProperty)location; DockablePlaceholderList<ScreenDockWindowHandle>.Item item = getItem( screenLocation ); if( item != null ){ delegate().combine( item, getCombiner(), request ); } ScreenDockProperty copy = screenLocation.copy(); copy.setSuccessor( null ); copy.setPlaceholder( request.getPlaceholder() ); request.answer( copy ); } }