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

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
This commit is contained in:
Francesco Mangiacrapa 2017-11-13 14:05:57 +00:00
parent 7599265613
commit 7ff7ec0d5b
1 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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