From 0d29ad9a6a8fa2ab625e10c9c617b948814ecd3d Mon Sep 17 00:00:00 2001
From: bjorn <bjorn@bringert.net>
Date: Thu, 6 Nov 2008 14:24:38 +0000
Subject: [PATCH] The PGF GWT module needs to inherit the DnD stuff.

---
 src/server/gwt/src/se/chalmers/cs/gf/gwt/FridgeApp.gwt.xml | 3 ---
 src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml       | 3 +++
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/FridgeApp.gwt.xml b/src/server/gwt/src/se/chalmers/cs/gf/gwt/FridgeApp.gwt.xml
index 1a27d21d6..c1a7fbf0e 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/FridgeApp.gwt.xml
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/FridgeApp.gwt.xml
@@ -13,9 +13,6 @@
       <!-- <inherits name="com.google.gwt.user.theme.dark.Dark"/>     -->
 
       <!-- Other module inherits                                      -->
-      
-      <!-- Inherit gwt-dnd support                   -->
-      <inherits name='com.allen_sauer.gwt.dnd.gwt-dnd'/>
 
 
       <!-- Specify the app entry point class.                         -->
diff --git a/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml b/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
index 959f16040..d4498164b 100644
--- a/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
+++ b/src/server/gwt/src/se/chalmers/cs/gf/gwt/PGF.gwt.xml
@@ -5,4 +5,7 @@
       <inherits name="com.google.gwt.http.HTTP" />
       <inherits name="com.google.gwt.json.JSON" />
 	
+	  <!-- Inherit gwt-dnd support                   -->
+      <inherits name='com.allen_sauer.gwt.dnd.gwt-dnd'/>
+	
 </module>