|
1
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
2
|
<module rename-to='RepositoryManager'>
|
|
3
|
<!-- Inherit the core Web Toolkit stuff. -->
|
|
4
|
<inherits name='com.google.gwt.user.User' />
|
|
5
|
|
|
6
|
<!-- Inherit the default GWT style sheet. You can change -->
|
|
7
|
<!-- the theme of your GWT application by uncommenting -->
|
|
8
|
<!-- any one of the following lines. -->
|
|
9
|
<!--<inherits name='com.google.gwt.user.theme.standard.Standard' />-->
|
|
10
|
<!-- <inherits name='com.google.gwt.user.theme.chrome.Chrome'/> -->
|
|
11
|
<!-- <inherits name='com.google.gwt.user.theme.dark.Dark'/> -->
|
|
12
|
|
|
13
|
<!-- Other module inherits -->
|
|
14
|
<inherits name="com.google.gwt.logging.Logging"/>
|
|
15
|
<inherits name="eu.dnetlib.repoManagerDomain"/>
|
|
16
|
<!--<inherits name="org.gwtbootstrap3.GwtBootstrap3NoTheme"/>-->
|
|
17
|
<inherits name="com.googlecode.gwt.crypto.Crypto" />
|
|
18
|
<!--<inherits name='com.github.gwtbootstrap.datepicker.Datepicker' />-->
|
|
19
|
<inherits name='com.google.gwt.query.Query' />
|
|
20
|
<inherits name= "com.claudiushauptmann.gwt.recaptcha.gwt-recaptcha" />
|
|
21
|
<inherits name="eu.dnetlib.gwt.Widgets" />
|
|
22
|
<inherits name="org.gwtbootstrap3.extras.slider.Slider"/>
|
|
23
|
<inherits name="org.gwtbootstrap3.extras.datepicker.DatePicker"/>
|
|
24
|
|
|
25
|
<!---->
|
|
26
|
<!-- Specify the app entry point class. -->
|
|
27
|
<entry-point class='eu.dnetlib.repo.manager.client.RepositoryManager' />
|
|
28
|
|
|
29
|
<!-- Specify the paths for translatable code -->
|
|
30
|
<source path='client' />
|
|
31
|
<source path='shared' />
|
|
32
|
<source path=''/>
|
|
33
|
|
|
34
|
<collapse-all-properties />
|
|
35
|
|
|
36
|
<set-configuration-property name='xsiframe.failIfScriptTag' value='FALSE'/>
|
|
37
|
|
|
38
|
</module>
|