From 871ba0f0a098ba229be8ac6d8ee4cbd8d9fa1668 Mon Sep 17 00:00:00 2001
From: Massimiliano Assante <massimiliano.assante@isti.cnr.it>
Date: Tue, 29 Sep 2015 14:37:32 +0000
Subject: [PATCH] Replaced the Workspace light tree  with workspace explorer
 #804

git-svn-id: http://svn.research-infrastructures.eu/public/d4science/gcube/trunk/portlets/user/reports@119166 82a268e6-3cf1-43bd-a215-b396298e98cf
---
 .../gcube/portlets/user/reportgenerator/ReportGenerator.gwt.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/resources/org/gcube/portlets/user/reportgenerator/ReportGenerator.gwt.xml b/src/main/resources/org/gcube/portlets/user/reportgenerator/ReportGenerator.gwt.xml
index cf8951f..7716367 100644
--- a/src/main/resources/org/gcube/portlets/user/reportgenerator/ReportGenerator.gwt.xml
+++ b/src/main/resources/org/gcube/portlets/user/reportgenerator/ReportGenerator.gwt.xml
@@ -4,7 +4,7 @@
 	<!-- Inherit the core Web Toolkit stuff. -->
 	<inherits name='com.google.gwt.user.User' />
 	<!-- To Comment out -->
-	<set-property name="user.agent" value="safari,gecko1_8,ie9" />
+<!-- 	<set-property name="user.agent" value="safari,gecko1_8,ie9" /> -->
 	<!-- inherits WorkspaceExplorer widget -->
 	<inherits name='org.gcube.portlets.widgets.wsexplorer.WorkspaceExplorer' />
 	<inherits name='org.gcube.portlets.user.gcubewidgets.WidgetFactory' />