<module>

      <!-- Inherit the core Web Toolkit stuff.                        -->
      <inherits name="com.google.gwt.user.User" />
      <inherits name="com.google.gwt.xml.XML" />

      <inherits name="org.grammaticalframework.ui.gwt.PGF" />

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

      <replace-with class="org.grammaticalframework.ui.gwt.client.selection.support.InternetExplorerSelectionSupport">
	  <when-type-is class="org.grammaticalframework.ui.gwt.client.selection.support.SelectionSupport"/>
	  <when-property-is name="user.agent" value="ie6"/>
      </replace-with>

      <!-- Specify the app entry point class.                         -->
      <entry-point class="org.grammaticalframework.ui.gwt.client.EditorApp" />
    
      <!-- Specify the application specific style sheet.              -->
      <stylesheet src="Editor.css" />
	
</module>
