public static class DownloadSourceSizingPolicy.AdjustableDownloadSizePolicy extends java.lang.Object implements DownloadSourceSizingPolicy
Mind that using a preferred component size is not possible in this case, since the preference entry needs to have a onstant default value.
DownloadSourceSizingPolicy.AdjustableDownloadSizePolicy, DownloadSourceSizingPolicy.FixedDownloadSourceSizePolicy
Modifier and Type | Field and Description |
---|---|
private AbstractProperty<java.lang.Integer> |
preference |
Constructor and Description |
---|
AdjustableDownloadSizePolicy(AbstractProperty<java.lang.Integer> preference)
|
Modifier and Type | Method and Description |
---|---|
int |
getComponentHeight()
Gets the height of the download source panel.
|
boolean |
isHeightAdjustable()
Check whether the user should be allowed to adjust the height of this download source panel
|
void |
storeHeight(int height)
Stores the height
|
private final AbstractProperty<java.lang.Integer> preference
public AdjustableDownloadSizePolicy(AbstractProperty<java.lang.Integer> preference)
preference
- The preference key to usepublic int getComponentHeight()
DownloadSourceSizingPolicy
getComponentHeight
in interface DownloadSourceSizingPolicy
public boolean isHeightAdjustable()
DownloadSourceSizingPolicy
isHeightAdjustable
in interface DownloadSourceSizingPolicy
true
if the height should be adjustablepublic void storeHeight(int height)
DownloadSourceSizingPolicy
storeHeight
in interface DownloadSourceSizingPolicy
height
- the height in pixel