2015-07-08 15:58:24 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<module rename-to='WorkspaceExplorer'>
|
|
|
|
<!-- Inherit the core Web Toolkit stuff. -->
|
|
|
|
<inherits name='com.google.gwt.user.User' />
|
2015-07-10 12:24:09 +02:00
|
|
|
|
2015-07-29 16:23:29 +02:00
|
|
|
<!-- UNCOMMNET TO USE GWT 2.7 SUPER DEV MODE -->
|
2021-03-19 12:37:56 +01:00
|
|
|
<set-configuration-property
|
|
|
|
name='xsiframe.failIfScriptTag' value='FALSE' />
|
2015-07-10 12:24:09 +02:00
|
|
|
|
2015-07-08 15:58:24 +02:00
|
|
|
<!-- Inherit the default GWT style sheet. You can change -->
|
2015-07-10 12:05:31 +02:00
|
|
|
<inherits name="com.github.gwtbootstrap.Bootstrap" />
|
2021-03-19 12:37:56 +01:00
|
|
|
|
2018-05-22 19:01:28 +02:00
|
|
|
<inherits name="org.gcube.portal.stohubicons.StorageHubIcons" />
|
2015-07-10 12:24:09 +02:00
|
|
|
|
2015-07-08 15:58:24 +02:00
|
|
|
<!-- Specify the app entry point class. -->
|
2021-03-19 12:37:56 +01:00
|
|
|
<entry-point
|
|
|
|
class='org.gcube.portlets.widgets.wsexplorer.client.WorkspaceExplorerEntryPoint' />
|
2015-07-08 15:58:24 +02:00
|
|
|
|
|
|
|
<!-- Specify the paths for translatable code -->
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
2021-03-26 11:13:16 +01:00
|
|
|
<stylesheet src='workspaceExplorer.css' />
|
|
|
|
|
|
|
|
<!-- UNCOMMENT THIS TO RECOVER THE OLD BEHAVIOUR -->
|
2015-07-29 17:41:23 +02:00
|
|
|
<!--Override Bootstrap Css -->
|
2021-03-26 11:13:16 +01:00
|
|
|
<!-- <source path='resources' /> -->
|
|
|
|
<!-- <replace-with -->
|
|
|
|
<!-- class="org.gcube.portlets.widgets.wsexplorer.resources.BootstrapConfigurator"> -->
|
|
|
|
<!-- <when-type-is -->
|
|
|
|
<!-- class="com.github.gwtbootstrap.client.ui.config.Configurator" /> -->
|
|
|
|
<!-- </replace-with> -->
|
|
|
|
|
2021-03-19 12:37:56 +01:00
|
|
|
<!--Commented due to #20991 -->
|
|
|
|
<!-- <public path="resources"> -->
|
|
|
|
<!-- <exclude name="** /*.java" /> -->
|
|
|
|
<!-- <exclude name="** /*.class" /> -->
|
|
|
|
<!-- </public> -->
|
2015-07-29 16:23:29 +02:00
|
|
|
</module>
|