diff options
| author | Henri Sara <henri.sara@itmill.com> | 2009-10-30 08:46:41 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2009-10-30 08:46:41 +0000 |
| commit | 049fd68f395af909bed49edb12add1296e78577c (patch) | |
| tree | b7e39bb480a1e965ede703f126a4d1fc58f803ff /src | |
| parent | 814ac3dbc3490b33ed52fc7f8db97d55eee0ab1f (diff) | |
| download | vaadin-framework-049fd68f395af909bed49edb12add1296e78577c.tar.gz vaadin-framework-049fd68f395af909bed49edb12add1296e78577c.zip | |
Save modified GWT module also if not created by the widgetset builder
svn changeset:9486/svn branch:6.2
Diffstat (limited to 'src')
| -rw-r--r-- | src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java | 2 |
1 files changed, 1 insertions, 1 deletions
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); } |