2013-02-06 15:40:17 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='workspacetree'>
|
2016-07-04 12:01:35 +02:00
|
|
|
<!-- Inherit the core Web Toolkit stuff. -->
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
<inherits name='com.google.gwt.resources.Resources' />
|
2013-02-06 15:40:17 +01:00
|
|
|
|
2016-07-04 12:01:35 +02:00
|
|
|
<!-- For development, a default of `DEBUG` is recommended <inherits name="com.allen_sauer.gwt.log.gwt-log-DEBUG"
|
|
|
|
/> -->
|
2016-05-13 11:14:42 +02:00
|
|
|
|
2016-07-04 12:01:35 +02:00
|
|
|
<!-- Other module inherits -->
|
|
|
|
<!-- Moduel GXT -->
|
|
|
|
<inherits name='com.extjs.gxt.ui.GXT' />
|
2017-01-19 18:22:50 +01:00
|
|
|
<inherits name='org.gcube.portal.clientcontext.GCubeClientContext' />
|
2018-07-03 18:09:33 +02:00
|
|
|
<inherits name="org.gcube.portal.stohubicons.StorageHubIcons" />
|
2017-05-22 11:48:01 +02:00
|
|
|
<inherits
|
|
|
|
name="org.gcube.portlets.widgets.workspacesharingwidget.WorkspaceSharingWidget" />
|
|
|
|
|
|
|
|
<servlet path="/WorkspaceService"
|
|
|
|
class="org.gcube.portlets.user.workspace.server.GWTWorkspaceServiceImpl" />
|
|
|
|
<inherits
|
|
|
|
name="org.gcube.portlets.widgets.workspaceuploader.WorkspaceUploader"></inherits>
|
|
|
|
<inherits
|
|
|
|
name='org.gcube.portlets.widgets.ckandatapublisherwidget.CKanMetadataPublisher' />
|
|
|
|
|
2016-07-04 12:01:35 +02:00
|
|
|
<servlet path="/DownloadService"
|
|
|
|
class="org.gcube.portlets.user.workspace.server.DownloadServlet" />
|
|
|
|
<servlet path="/ImageService"
|
|
|
|
class="org.gcube.portlets.user.workspace.server.ImageServlet" />
|
|
|
|
|
2017-05-22 11:48:01 +02:00
|
|
|
<inherits name="org.gcube.portlets.widgets.imagepreviewerwidget.ImagePreviewer" />
|
2017-09-27 18:38:30 +02:00
|
|
|
|
|
|
|
<inherits name='org.gcube.portlets.widgets.wsexplorer.WorkspaceExplorer' />
|
2018-03-01 11:34:08 +01:00
|
|
|
|
2018-03-02 17:14:39 +01:00
|
|
|
<inherits name='org.gcube.portlets.widgets.wsthreddssync.WsThreddsWidget' />
|
2018-06-07 16:54:36 +02:00
|
|
|
|
|
|
|
<inherits
|
|
|
|
name="org.gcube.portlets.widgets.wstaskexecutor.WsTaskExecutorWidget" />
|
|
|
|
|
2017-05-22 11:48:01 +02:00
|
|
|
|
2016-07-04 12:01:35 +02:00
|
|
|
<!-- Specify the application specific style sheet. -->
|
|
|
|
<stylesheet src='workspacetree.css' />
|
|
|
|
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
2013-02-06 15:40:17 +01:00
|
|
|
|
|
|
|
</module>
|