diff --git a/src/main/java/org/gcube/portlets/widgets/wsexplorer/client/explore/WorkspaceResourcesExplorerPanelPaginated.java b/src/main/java/org/gcube/portlets/widgets/wsexplorer/client/explore/WorkspaceResourcesExplorerPanelPaginated.java index 622f378..68d1a7b 100644 --- a/src/main/java/org/gcube/portlets/widgets/wsexplorer/client/explore/WorkspaceResourcesExplorerPanelPaginated.java +++ b/src/main/java/org/gcube/portlets/widgets/wsexplorer/client/explore/WorkspaceResourcesExplorerPanelPaginated.java @@ -34,6 +34,7 @@ public class WorkspaceResourcesExplorerPanelPaginated extends WorkspaceResources protected WorkspaceExplorerPaginated wsExplorerPaginated; protected FlowPanel centerPanel = null; private FlowPanel centerDock; + private int southPanelSize = 38; /* (non-Javadoc) * @see org.gcube.portlets.widgets.wsexplorer.client.explore.WorkspaceResourcesExplorerPanel#onLoad() */ @@ -232,8 +233,10 @@ public class WorkspaceResourcesExplorerPanelPaginated extends WorkspaceResources super.setHeightToInternalScroll(height); int nh = super.getNewHeightForContainer(height); if(nh>0){ - GWT.log("Set new height to center Dock panel: "+nh); - centerDock.setHeight(nh+"px"); + int newSize = nh - southPanelSize; //removing size of south panel + if(newSize > 0) + GWT.log("Set new height to center Dock panel: "+nh); + centerDock.setHeight(newSize+"px"); } }