<?xml version="1.0" encoding="UTF-8"?>
<module rename-to='Widgets'>
  <!-- Inherit the core Web Toolkit stuff.                        -->
  <inherits name='com.google.gwt.user.User' />

  <!-- 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'/>     -->

  <!-- Other module inherits                                      -->
  <inherits name="org.gwtbootstrap3.GwtBootstrap3NoTheme"/>

  <!-- Specify the app entry point class.                         -->
  <entry-point class='eu.dnetlib.gwt.client.Widgets' />

  <!-- Specify the paths for translatable code                    -->
  <source path='client' />
  <source path='shared' />

</module>
