| <?xml version="1.0" encoding="UTF-8"?> |
| <!DOCTYPE module PUBLIC "-//Google Inc.//DTD Google Web Toolkit 1.7.0//EN" "http://google-web-toolkit.googlecode.com/svn/tags/1.7.0/distro-source/core/src/gwt-module.dtd"> |
| <module> |
| <inherits name="com.vaadin.terminal.gwt.DefaultWidgetSet" /> |
| <inherits name="fi.jasoft.dragdroplayouts.DragDropLayoutsWidgetSet" /> |
| <stylesheet src="org_eclipse_osbp_vaaclipse/vaaclipse.css" /> |
| |
| <source path="client" /> |
| <source path="common" /> |
| <source path="../../../../" /> |
| |
| <!-- replace-with class="org.eclipse.osbp.vaaclipse.widgets.client.ui.stackwidget.VStackWidgetDragDropMouseHandler"> |
| <when-type-is class="fi.jasoft.dragdroplayouts.client.ui.VLayoutDragDropMouseHandler" /> |
| </replace-with--> |
| |
| <replace-with |
| class="com.vaadin.client.ui.dd.VaaclipseDragAndDropManager"> |
| <when-type-is |
| class="com.vaadin.client.ui.dd.VDragAndDropManager" /> |
| </replace-with> |
| |
| </module> |