}
return (int)(((float)rect.height)*viewSize);
}
protected void layoutViewpane() {
ViewPane viewPane = manager.getViewPane();
Dockable dockable = manager.getActiveDockable();
if(dockable==null) {
viewPane.setBounds(0, 0, 0, 0);
return;
}
int edge = manager.getActiveEdge();
int viewpaneSize = viewPane.getPrefSize();
if(viewpaneSize==ViewPane.UNSPECIFIED_PREFERRED_SIZE)
viewpaneSize = getDesiredViewpaneSize();
Rectangle rect = DockbarLayoutManager.getManager().getViewArea(manager, dockable);
if(edge==MinimizationManager.LEFT || edge==MinimizationManager.RIGHT) {
if(edge==MinimizationManager.RIGHT) {
rect.x = rect.x + rect.width - viewpaneSize;
}
rect.width = viewpaneSize;
} else {
if(edge==MinimizationManager.BOTTOM) {
rect.y = rect.y + rect.height - viewpaneSize;
}
rect.height = viewpaneSize;
}
viewPane.setBounds(rect);
}