diff options
Diffstat (limited to 'src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java')
| -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 23abd6a6fe..32ce84fa66 100644 --- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java +++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java @@ -82,7 +82,7 @@ public class WidgetSetBuilder { + " Firefox 2 and safari is used for webkit based browsers including\n" + " Google Chrome.\n" + " -->\n" - + " <!-- <set-property name=\"user.agent\" value=\"gecko\"/> -->\n"); + + " <!-- <set-property name=\"user.agent\" value=\"gecko1_8\"/> -->\n"); printStream.print("\n</module>\n"); printStream.close(); changed = true; |