From 7ff7ec0d5b2b62cd5a20b27e06bab148e021a00b Mon Sep 17 00:00:00 2001 From: Francesco Mangiacrapa Date: Mon, 13 Nov 2017 14:05:57 +0000 Subject: [PATCH] Used south panel for pagination git-svn-id: https://svn.d4science.research-infrastructures.eu/gcube/trunk/portlets/widgets/workspace-explorer@158418 82a268e6-3cf1-43bd-a215-b396298e98cf --- .../WorkspaceResourcesExplorerPanelPaginated.java | 10 ++++------ 1 file changed, 4 insertions(+), 6 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 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"); } }