From 7599265613fe645d22ce5698fdf747cc73c7b7de Mon Sep 17 00:00:00 2001 From: Francesco Mangiacrapa Date: Mon, 13 Nov 2017 14:02:54 +0000 Subject: [PATCH] Fixed pagination size git-svn-id: https://svn.d4science.research-infrastructures.eu/gcube/trunk/portlets/widgets/workspace-explorer@158417 82a268e6-3cf1-43bd-a215-b396298e98cf --- .../explore/WorkspaceResourcesExplorerPanelPaginated.java | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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"); } }