gCubeSystem
/
workspace-explorer
16
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed pagination size 

git-svn-id: https://svn.d4science.research-infrastructures.eu/gcube/trunk/portlets/widgets/workspace-explorer@158417 82a268e6-3cf1-43bd-a215-b396298e98cf
This commit is contained in:
Francesco Mangiacrapa 2017-11-13 14:02:54 +00:00
parent d29bac7fff
commit 7599265613
1 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
src/main/java/org/gcube/portlets/widgets/wsexplorer/client/explore/WorkspaceResourcesExplorerPanelPaginated.java
View File

@ -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");
}
}