workspace-explorer/src/main/java/org/gcube/portlets/widgets/wsexplorer/WorkspaceExplorer.gwt.xml

28 lines
1015 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<module rename-to='WorkspaceExplorer'>
<!-- Inherit the core Web Toolkit stuff. -->
<inherits name='com.google.gwt.user.User' />
<script src="jquery-1.10.1.min.js"></script>
<script src="bootstrap.min.js"></script>
<inherits name="com.github.gwtbootstrap.Bootstrap" />
<!-- Inherit the default GWT style sheet. You can change -->
<!-- the theme of your GWT application by uncommenting -->
<!-- any one of the following lines. -->
<inherits name='com.google.gwt.user.theme.standard.Standard' />
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
<stylesheet src='workspace-explorer.css' />
<!-- Other module inherits -->
<!-- Specify the app entry point class. -->
<!-- <entry-point class='org.gcube.portlets.widgets.wsexplorer.client.WorkspaceExplorer'
/> -->
<!-- Specify the paths for translatable code -->
<source path='client' />
<source path='shared' />
</module>