2017-03-08 18:13:33 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='dataminermanagerwidget'>
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
<inherits name="com.google.gwt.http.HTTP" />
|
|
|
|
|
|
|
|
<!-- <inherits name='com.google.gwt.user.theme.clean.Clean' /> -->
|
|
|
|
<inherits name='com.sencha.gxt.ui.GXT' />
|
|
|
|
<!-- <inherits name="com.extjs.gxt.ui.GXT" /> -->
|
|
|
|
|
|
|
|
<!-- <inherits name="com.google.gwt.logging.Logging" /> -->
|
|
|
|
<inherits name="com.allen_sauer.gwt.log.gwt-log-TRACE" />
|
|
|
|
|
|
|
|
<!-- Debug CSS style -->
|
|
|
|
<set-configuration-property name="CssResource.style"
|
|
|
|
value="pretty" />
|
|
|
|
|
|
|
|
|
|
|
|
<inherits name='org.gcube.portal.clientcontext.GCubeClientContext' />
|
|
|
|
|
|
|
|
<!-- OpenLayer Basic Widgets -->
|
|
|
|
<inherits
|
|
|
|
name='org.gcube.portlets.widgets.openlayerbasicwidgets.olbasicwidgets' />
|
2017-03-10 20:10:42 +01:00
|
|
|
|
|
|
|
<!-- DataMiner Manager CL -->
|
|
|
|
<inherits
|
|
|
|
name='org.gcube.data.analysis.dataminermanagercl.dataminermanagercl' />
|
|
|
|
|
|
|
|
|
2017-03-08 18:13:33 +01:00
|
|
|
<!-- inherits WorkspaceExplorer widget -->
|
|
|
|
<inherits name='org.gcube.portlets.widgets.wsexplorer.WorkspaceExplorer' />
|
|
|
|
|
|
|
|
<!-- inherits Wokspace Uploader widget -->
|
|
|
|
<inherits
|
|
|
|
name="org.gcube.portlets.widgets.workspaceuploader.WorkspaceUploader" />
|
|
|
|
|
|
|
|
|
|
|
|
<entry-point
|
2017-03-10 20:10:42 +01:00
|
|
|
class='org.gcube.portlets.widgets.dataminermanagerwidget.client.DataMinerManager' />
|
|
|
|
<set-property name="log_ConsoleLogger" value="ENABLED" /> <set-property
|
2017-03-08 18:13:33 +01:00
|
|
|
name="log_DivLogger" value="ENABLED" /> <set-property name="log_GWTLogger"
|
|
|
|
value="ENABLED" /> <set-property name="log_SystemLogger" value="ENABLED"
|
2017-03-10 20:10:42 +01:00
|
|
|
/>
|
2017-03-08 18:13:33 +01:00
|
|
|
|
2017-03-10 20:10:42 +01:00
|
|
|
<!--
|
2017-03-08 18:13:33 +01:00
|
|
|
<set-property name="log_ConsoleLogger" value="DISABLED" />
|
|
|
|
<set-property name="log_DivLogger" value="DISABLED" />
|
|
|
|
<set-property name="log_GWTLogger" value="DISABLED" />
|
|
|
|
<set-property name="log_SystemLogger" value="DISABLED" />
|
2017-03-10 20:10:42 +01:00
|
|
|
-->
|
2017-03-08 18:13:33 +01:00
|
|
|
|
|
|
|
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
|
|
|
</module>
|