2016-07-20 18:34:49 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='olbasicwidgets'>
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
|
|
|
<inherits name="com.google.gwt.http.HTTP" />
|
|
|
|
<inherits name="com.google.gwt.resources.Resources" />
|
|
|
|
<inherits name='com.google.gwt.user.theme.clean.Clean' />
|
|
|
|
|
2016-07-25 11:19:05 +02:00
|
|
|
|
2016-07-20 18:34:49 +02:00
|
|
|
<!-- Debug CSS style -->
|
2016-07-25 11:19:05 +02:00
|
|
|
<!-- <set-configuration-property name="CssResource.style"
|
|
|
|
value="pretty" /> -->
|
|
|
|
|
|
|
|
<!-- <inherits name='org.gcube.portlets.widgets.sessionchecker.SessionChecker'
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
|
|
|
|
<!-- <entry-point class='org.gcube.portlets.widgets.openlayerbasicwidgets.client.OpenLayerBasicWidgetsManager'
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
|
|
|
|
<!-- <set-property name="gwt.logging.enabled" value="TRUE" /> <set-property
|
|
|
|
name="gwt.logging.logLevel" value="SEVERE" /> <set-property name="gwt.logging.consoleHandler"
|
|
|
|
value="ENABLED" /> <set-property name="gwt.logging.simpleRemoteHandler" value="ENABLED"
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
<!-- <set-property name="log_ConsoleLogger" value="ENABLED" /> <set-property
|
|
|
|
name="log_DivLogger" value="ENABLED" /> <set-property name="log_GWTLogger"
|
|
|
|
value="ENABLED" /> <set-property name="log_SystemLogger" value="ENABLED"
|
|
|
|
/> -->
|
|
|
|
|
|
|
|
<!-- <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"
|
|
|
|
/> -->
|
2016-07-20 18:34:49 +02:00
|
|
|
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
|
|
|
</module>
|