2014-02-25 14:28:30 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='workspacesharingwidget'>
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
<inherits name='com.google.gwt.resources.Resources' />
|
|
|
|
|
|
|
|
<!-- For development, a default of `DEBUG` is recommended <inherits name="com.allen_sauer.gwt.log.gwt-log-DEBUG"
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
<!-- Other module inherits -->
|
|
|
|
<!-- Moduel GXT 2 -->
|
|
|
|
<inherits name='com.extjs.gxt.ui.GXT' />
|
|
|
|
|
|
|
|
<!-- Inherit the default GWT style sheet. You can change -->
|
|
|
|
<!-- the theme of your GWT application by uncommenting -->
|
|
|
|
<!-- any one of the following lines. -->
|
2014-07-14 14:36:02 +02:00
|
|
|
<!-- <inherits name='com.google.gwt.user.theme.standard.Standard' /> -->
|
2014-02-25 14:28:30 +01:00
|
|
|
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
|
|
|
|
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
|
|
|
|
|
|
|
|
<!-- Other module inherits -->
|
|
|
|
<!-- <servlet path="/WorkspaceService" class="org.gcube.portlets.user.workspace.server.GWTWorkspaceServiceImpl"
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
|
|
|
|
<!-- Specify the app entry point class. -->
|
2014-03-04 18:13:00 +01:00
|
|
|
<!-- <entry-point class='org.gcube.portlets.widgets.workspacesharingwidget.client.WorkspaceSharingWidgetEntryPoint' /> -->
|
2014-03-03 14:46:05 +01:00
|
|
|
|
|
|
|
<!-- Specify the application specific style sheet. -->
|
|
|
|
<stylesheet src='workspacesharingwidget.css' />
|
2014-02-25 14:28:30 +01:00
|
|
|
|
|
|
|
<!-- Specify the paths for translatable code -->
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
2019-07-26 20:14:13 +02:00
|
|
|
|
|
|
|
<!-- <inherits name="com.google.gwt.logging.Logging" /> -->
|
|
|
|
<!-- <set-property name="gwt.logging.logLevel" value="SEVERE" /> -->
|
|
|
|
<!-- <set-property name="gwt.logging.enabled" value="TRUE" /> -->
|
|
|
|
<!-- <set-property name="gwt.logging.consoleHandler" value="ENABLED"/> -->
|
|
|
|
<!-- <set-property name="gwt.logging.firebugHandler" value="ENABLED" /> -->
|
|
|
|
<!-- <set-property name="gwt.logging.popupHandler" value="ENABLED" /> -->
|
|
|
|
|
2014-02-25 14:28:30 +01:00
|
|
|
|
|
|
|
</module>
|