From: Henri Sara <henri.sara@itmill.com>
Date: Fri, 30 Oct 2009 08:46:41 +0000 (+0000)
Subject: Save modified GWT module also if not created by the widgetset builder
X-Git-Tag: 6.7.0.beta1~2361
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=049fd68f395af909bed49edb12add1296e78577c;p=vaadin-framework.git

Save modified GWT module also if not created by the widgetset builder


svn changeset:9486/svn branch:6.2
---

diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index c6e9dd2275..d849c85fc7 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -88,7 +88,7 @@ public class WidgetSetBuilder {
             }
         }
 
-        changed = changed ? true : content.equals(originalContent);
+        changed = changed || !content.equals(originalContent);
         if (changed) {
             commitChanges(widgetsetfilename, content);
         }