From c4e6f1909c3d1085e31e2c68a915edcec50538f8 Mon Sep 17 00:00:00 2001
From: Francesco Mangiacrapa <francesco.mangiacrapa@isti.cnr.it>
Date: Wed, 8 Jul 2015 13:58:24 +0000
Subject: [PATCH] 256: Workspace explorer

Task-Url: https://support.d4science.org/issues/256

Copied gwt.xml to scr/main/java base path

git-svn-id: https://svn.d4science.research-infrastructures.eu/gcube/trunk/portlets/widgets/workspace-explorer@117090 82a268e6-3cf1-43bd-a215-b396298e98cf
---
 .../wsexplorer/WorkspaceExplorer.gwt.xml      | 23 +++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml

diff --git a/src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml b/src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml
new file mode 100644
index 0000000..e868b55
--- /dev/null
+++ b/src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml
@@ -0,0 +1,23 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<module rename-to='WorkspaceExplorer'>
+	<!-- Inherit the core Web Toolkit stuff. -->
+	<inherits name='com.google.gwt.user.User' />
+	<inherits name="com.github.gwtbootstrap.Bootstrap" />
+
+	<!-- Inherit the default GWT style sheet. You can change -->
+	<!-- the theme of your GWT application by uncommenting -->
+	<!-- any one of the following lines. -->
+	<inherits name='com.google.gwt.user.theme.standard.Standard' />
+	<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
+	<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
+	<stylesheet src='workspace-explorer.css' />
+	<!-- Other module inherits -->
+
+	<!-- Specify the app entry point class. -->
+<!-- 	<entry-point class='org.gcube.portlets.widgets.wsexplorer.client.WorkspaceExplorer' /> -->
+
+	<!-- Specify the paths for translatable code -->
+	<source path='client' />
+	<source path='shared' />
+
+</module>