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-10 16:14:35 +02:00
|
|
|
<!-- UNCOMMNET TO USE GWT 2.7 SUPER DEV MODE-->
|
|
|
|
<set-configuration-property name='xsiframe.failIfScriptTag' value='FALSE'/>
|
2015-07-10 12:24:09 +02:00
|
|
|
|
2015-07-09 17:43:32 +02:00
|
|
|
<script src="jquery-1.10.1.min.js"></script>
|
|
|
|
<script src="bootstrap.min.js"></script>
|
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" />
|
2015-07-08 15:58:24 +02:00
|
|
|
<inherits name='com.google.gwt.user.theme.standard.Standard' />
|
2015-07-10 12:24:09 +02:00
|
|
|
|
2015-07-08 15:58:24 +02:00
|
|
|
<stylesheet src='workspace-explorer.css' />
|
|
|
|
|
|
|
|
<!-- Specify the app entry point class. -->
|
2015-07-28 16:43:58 +02:00
|
|
|
<!-- <entry-point class='org.gcube.portlets.widgets.wsexplorer.client.WorkspaceExplorer'/> -->
|
2015-07-08 15:58:24 +02:00
|
|
|
|
|
|
|
<!-- Specify the paths for translatable code -->
|
|
|
|
<source path='client' />
|
|
|
|
<source path='shared' />
|
|
|
|
|
|
|
|
</module>
|