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 68d1a7b..7b9a97c 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,7 +34,7 @@ public class WorkspaceResourcesExplorerPanelPaginated extends WorkspaceResources protected WorkspaceExplorerPaginated wsExplorerPaginated; protected FlowPanel centerPanel = null; private FlowPanel centerDock; - private int southPanelSize = 38; + private int southPanelSize = 40; /* (non-Javadoc) * @see org.gcube.portlets.widgets.wsexplorer.client.explore.WorkspaceResourcesExplorerPanel#onLoad() */ @@ -230,13 +230,11 @@ public class WorkspaceResourcesExplorerPanelPaginated extends WorkspaceResources */ public void setHeightToInternalScroll(int height){ - super.setHeightToInternalScroll(height); + super.setHeightToInternalScroll(height-southPanelSize); int nh = super.getNewHeightForContainer(height); if(nh>0){ - 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"); + GWT.log("Set new height to center Dock panel: "+nh); + centerDock.setHeight(nh+"px"); } }