| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 0.0.999//EN" "http://google-web-toolkit.googlecode.com/svn/tags/0.0.999/distro-source/core/src/gwt-module.dtd"> |
| <module rename-to='DevModeOptions'> |
| <!-- Inherit the core Web Toolkit stuff. --> |
| <inherits name='com.google.gwt.user.User' /> |
| |
| <!-- Specify the app entry point class. --> |
| <entry-point class='com.google.gwt.devmodeoptions.client.DevModeOptions'/> |
| |
| <!-- TARGETING WEBKIT ONLY --> |
| <set-property name='user.agent' value='safari' /> |
| <add-linker name="xsiframe" /> |
| |
| <!-- Specify the paths for translatable code --> |
| <source path='client'/> |
| </module> |