2016-04-06 18:28:32 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='dataminermanager'>
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
<inherits name="com.google.gwt.http.HTTP" />
|
2016-07-25 19:10:47 +02:00
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<!-- <inherits name='com.google.gwt.user.theme.clean.Clean' /> -->
|
|
|
|
<inherits name='com.sencha.gxt.ui.GXT' />
|
|
|
|
<!-- <inherits name="com.extjs.gxt.ui.GXT" /> -->
|
2016-07-25 19:10:47 +02:00
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<!-- <inherits name="com.google.gwt.logging.Logging" /> -->
|
2016-07-25 19:10:47 +02:00
|
|
|
<inherits name="com.allen_sauer.gwt.log.gwt-log-TRACE" />
|
|
|
|
|
2017-04-27 17:14:30 +02:00
|
|
|
<!-- Debug CSS style
|
2016-07-25 19:10:47 +02:00
|
|
|
<set-configuration-property name="CssResource.style"
|
2017-04-27 17:14:30 +02:00
|
|
|
value="pretty" /> -->
|
2016-07-25 19:10:47 +02:00
|
|
|
|
|
|
|
|
2016-11-25 18:36:54 +01:00
|
|
|
<inherits name='org.gcube.portal.clientcontext.GCubeClientContext' />
|
2016-11-25 16:10:40 +01:00
|
|
|
|
2016-07-25 19:10:47 +02:00
|
|
|
<!-- OpenLayer Basic Widgets -->
|
2016-04-06 18:28:32 +02:00
|
|
|
<inherits
|
2016-07-25 19:10:47 +02:00
|
|
|
name='org.gcube.portlets.widgets.openlayerbasicwidgets.olbasicwidgets' />
|
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<!-- inherits WorkspaceExplorer widget -->
|
|
|
|
<inherits name='org.gcube.portlets.widgets.wsexplorer.WorkspaceExplorer' />
|
|
|
|
|
|
|
|
<!-- inherits Wokspace Uploader widget -->
|
|
|
|
<inherits
|
|
|
|
name="org.gcube.portlets.widgets.workspaceuploader.WorkspaceUploader" />
|
|
|
|
|
2017-07-14 18:42:08 +02:00
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<entry-point
|
|
|
|
class='org.gcube.portlets.user.dataminermanager.client.DataMinerManager' />
|
2017-07-14 18:42:08 +02:00
|
|
|
<!--
|
|
|
|
<set-property name="log_ConsoleLogger" value="ENABLED" /> <set-property
|
2016-04-06 18:28:32 +02:00
|
|
|
name="log_DivLogger" value="ENABLED" /> <set-property name="log_GWTLogger"
|
|
|
|
value="ENABLED" /> <set-property name="log_SystemLogger" value="ENABLED"
|
2017-07-14 18:42:08 +02:00
|
|
|
/> -->
|
2016-07-25 19:10:47 +02:00
|
|
|
|
2017-07-14 18:42:08 +02:00
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<set-property name="log_ConsoleLogger" value="DISABLED" />
|
|
|
|
<set-property name="log_DivLogger" value="DISABLED" />
|
|
|
|
<set-property name="log_GWTLogger" value="DISABLED" />
|
2017-07-14 18:42:08 +02:00
|
|
|
<set-property name="log_SystemLogger" value="DISABLED" />
|
2016-07-25 19:10:47 +02:00
|
|
|
|
|
|
|
|
|
|
|
|
2016-04-06 18:28:32 +02:00
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
|
|
|
</module>
|