public boolean isChildLocation( DockableProperty location ){ if( location instanceof ScreenDockProperty ){ return ((ScreenDockProperty)location).isFullscreen(); } return false; } };
public boolean isChildLocation( DockableProperty location ){ if( location instanceof ScreenDockProperty ){ return !((ScreenDockProperty)location).isFullscreen(); } return false; }
public boolean isChildLocation( DockableProperty location ){ if( location instanceof ScreenDockProperty ){ return !((ScreenDockProperty)location).isFullscreen(); } return false; }
public boolean isChildLocation( DockableProperty location ){ if( location instanceof ScreenDockProperty ){ return ((ScreenDockProperty)location).isFullscreen(); } return false; } };
/** * Creates a new location by creating the child location of <code>location</code> using * <code>property</code> for that step. * @param location the location to expand * @param property the property that is the source of the next location * @return the new location or <code>null</code> if no conversion is possible */ protected CLocation expand( CLocation location, ScreenDockProperty property ){ if( property.isFullscreen() ){ return new CMaximalExternalizedLocation( location, property.getX(), property.getY(), property.getWidth(), property.getHeight() ); } else{ return new CExternalizedLocation( location, property.getX(), property.getY(), property.getWidth(), property.getHeight() ); } }
/** * Creates a new location by creating the child location of <code>location</code> using * <code>property</code> for that step. * @param location the location to expand * @param property the property that is the source of the next location * @return the new location or <code>null</code> if no conversion is possible */ protected CLocation expand( CLocation location, ScreenDockProperty property ){ if( property.isFullscreen() ){ return new CMaximalExternalizedLocation( location, property.getX(), property.getY(), property.getWidth(), property.getHeight() ); } else{ return new CExternalizedLocation( location, property.getX(), property.getY(), property.getWidth(), property.getHeight() ); } }
private CLocation expand( DockableProperty property ){ if( property instanceof ScreenDockProperty ){ ScreenDockProperty screen = (ScreenDockProperty)property; CLocation result; if( screen.isFullscreen() ){ result = new CMaximalExternalizedLocation( screen.getX(), screen.getY(), screen.getWidth(), screen.getHeight() ); } else{ result = new CExternalizedLocation( screen.getX(), screen.getY(), screen.getWidth(), screen.getHeight() ); } if( property.getSuccessor() != null ){ return result.expandProperty( station.getStation().getController(), property.getSuccessor() ); } else{ return result; } } return null; }
private CLocation expand( DockableProperty property ){ if( property instanceof ScreenDockProperty ){ ScreenDockProperty screen = (ScreenDockProperty)property; CLocation result; if( screen.isFullscreen() ){ result = new CMaximalExternalizedLocation( screen.getX(), screen.getY(), screen.getWidth(), screen.getHeight() ); } else{ result = new CExternalizedLocation( screen.getX(), screen.getY(), screen.getWidth(), screen.getHeight() ); } if( property.getSuccessor() != null ){ return result.expandProperty( station.getStation().getController(), property.getSuccessor() ); } else{ return result; } } return null; }
height = meta.getInt( "height" ); ScreenDockProperty replacement = new ScreenDockProperty( x, y, width, height, placeholder, property.isFullscreen() ); replacement.setSuccessor( property.getSuccessor() ); args.setProperty( replacement );
if( done && property.isFullscreen() ){ DockStation parent = dockable.getDockParent(); while( parent != null && parent != this ){