From c83541f5fa70c42cbdb8b7dc0a5057f82bc4994a Mon Sep 17 00:00:00 2001
From: Giancarlo Panichi <giancarlo.panichi@isti.cnr.it>
Date: Mon, 18 Nov 2013 15:30:28 +0000
Subject: [PATCH] Minor updated

git-svn-id: https://svn.d4science.research-infrastructures.eu/gcube/trunk/portlets/user/tabular-data-csv-export-widget@85629 82a268e6-3cf1-43bd-a215-b396298e98cf
---
 .../client/workspace/WorkspacePanel.java      | 47 +++++++++++++++++++
 1 file changed, 47 insertions(+)
 create mode 100644 src/main/java/org/gcube/portlets/user/td/csvexportwidget/client/workspace/WorkspacePanel.java

diff --git a/src/main/java/org/gcube/portlets/user/td/csvexportwidget/client/workspace/WorkspacePanel.java b/src/main/java/org/gcube/portlets/user/td/csvexportwidget/client/workspace/WorkspacePanel.java
new file mode 100644
index 0000000..09b619c
--- /dev/null
+++ b/src/main/java/org/gcube/portlets/user/td/csvexportwidget/client/workspace/WorkspacePanel.java
@@ -0,0 +1,47 @@
+package org.gcube.portlets.user.td.csvexportwidget.client.workspace;
+
+import org.gcube.portlets.widgets.lighttree.client.WorkspaceLightTreePanel;
+
+import com.allen_sauer.gwt.log.client.Log;
+import com.sencha.gxt.widget.core.client.box.AutoProgressMessageBox;
+import com.sencha.gxt.widget.core.client.event.DisableEvent;
+import com.sencha.gxt.widget.core.client.event.EnableEvent;
+
+public class WorkspacePanel extends WorkspaceLightTreePanel {
+
+	AutoProgressMessageBox box;
+
+	public void setSpWidth(String w) {
+		sp.setWidth(w);
+
+	}
+
+	public void setSpHeight(String h) {
+		sp.setHeight(h);
+	}
+
+	public void disable() {
+		Log.debug("WorkspacePanel Disable");
+		fireEvent(new DisableEvent());
+	}
+
+	public void enable() {
+		Log.debug("WorkspacePanel Enable");
+		fireEvent(new EnableEvent());
+	}
+
+	public void startWaiting() {
+		box= new AutoProgressMessageBox("Loading",
+					"Retriving data from workspace, please wait...");
+		box.setProgressText("Loading...");
+		box.setModal(false);
+		box.auto();
+		box.show();
+
+	}
+
+	public void endWaiting() {
+		box.hide();
+	}
+
+}