2013-02-08 10:56:27 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='workspace'>
|
|
|
|
<!-- Inherit the core Web Toolkit stuff. -->
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
|
|
|
|
|
2014-09-03 15:51:58 +02:00
|
|
|
<!-- To Comment out -->
|
2014-12-02 11:06:03 +01:00
|
|
|
<!-- <set-property name="user.agent" value="gecko1_8,safari" /> -->
|
|
|
|
|
2014-03-18 11:51:41 +01:00
|
|
|
<inherits name='org.gcube.portlets.widgets.guidedtour.GuidedTour' />
|
2014-07-28 18:43:04 +02:00
|
|
|
|
2014-07-28 16:21:45 +02:00
|
|
|
<inherits name="com.github.gwtbootstrap.Bootstrap" />
|
2013-02-08 10:56:27 +01:00
|
|
|
<!-- Moduel GXT -->
|
|
|
|
<inherits name='com.extjs.gxt.ui.GXT' />
|
|
|
|
|
|
|
|
<!-- Other module inherits -->
|
|
|
|
<inherits name='org.gcube.portlets.user.workspace.WorkspaceTree' />
|
|
|
|
<inherits name='org.gcube.portlets.user.gcubewidgets.WidgetFactory' />
|
2013-10-14 10:59:35 +02:00
|
|
|
|
2013-10-14 13:29:28 +02:00
|
|
|
<inherits
|
|
|
|
name='org.gcube.portlets.widgets.lighttree.WorkspacePortletLightTree' />
|
2013-10-14 10:59:35 +02:00
|
|
|
|
2013-10-08 12:53:01 +02:00
|
|
|
<inherits name='org.gcube.portlets.widgets.wsmail.WsMail_Widget' />
|
2013-02-08 10:56:27 +01:00
|
|
|
|
2014-03-18 11:51:41 +01:00
|
|
|
<inherits name='org.gcube.portlets.widgets.fileupload.FileUpload' />
|
2014-09-29 18:12:44 +02:00
|
|
|
<inherits name='org.gcube.portlets.widgets.sessionchecker.SessionChecker' />
|
2013-02-08 10:56:27 +01:00
|
|
|
<!-- Specify the app entry point class. -->
|
|
|
|
<entry-point
|
|
|
|
class='org.gcube.portlets.user.workspace.client.WorkspacePortlet' />
|
|
|
|
|
|
|
|
<!-- Specify the paths for translatable code -->
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
2014-07-28 18:43:04 +02:00
|
|
|
<!--pay attention in this part -->
|
|
|
|
<source path='resources' />
|
|
|
|
<replace-with
|
2014-07-30 15:14:37 +02:00
|
|
|
class="org.gcube.portlets.user.workspace.resources.BootstrapConfigurator">
|
2014-07-28 18:43:04 +02:00
|
|
|
<when-type-is class="com.github.gwtbootstrap.client.ui.config.Configurator" />
|
|
|
|
</replace-with>
|
|
|
|
<public path="resources">
|
|
|
|
<exclude name="** /*.java" />
|
|
|
|
<exclude name="** /*.class" />
|
|
|
|
</public>
|
|
|
|
|
2014-10-27 16:39:08 +01:00
|
|
|
<inherits name="com.google.gwt.logging.Logging" />
|
|
|
|
<set-property name="gwt.logging.logLevel" value="INFO" />
|
|
|
|
<set-property name="gwt.logging.enabled" value="FALSE" />
|
2014-12-02 11:06:03 +01:00
|
|
|
<!-- <set-property name="gwt.logging.firebugHandler" value="ENABLED" /> -->
|
|
|
|
<!-- <set-property name="gwt.logging.popupHandler" value="DISABLED" /> -->
|
2014-10-27 16:39:08 +01:00
|
|
|
|
2013-02-08 10:56:27 +01:00
|
|
|
</module>
|