diff options
| author | Henri Sara <henri.sara@itmill.com> | 2010-07-09 07:32:30 +0000 |
|---|---|---|
| committer | Henri Sara <henri.sara@itmill.com> | 2010-07-09 07:32:30 +0000 |
| commit | ff87590e403c48c7ac6d72b73d0bf1b6357c1a1d (patch) | |
| tree | 9805ac8ce3733c7d92a3302b37bdbb74e3921476 /src | |
| parent | b1f4247a8cea59d8262cfea63447e30136ab9f39 (diff) | |
| download | vaadin-framework-ff87590e403c48c7ac6d72b73d0bf1b6357c1a1d.tar.gz vaadin-framework-ff87590e403c48c7ac6d72b73d0bf1b6357c1a1d.zip | |
#4619 update GWT user.agent in comments of widgetset files created by Eclipse plugin
svn changeset:14160/svn branch:6.4
Diffstat (limited to 'src')
| -rw-r--r-- | src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java index 0609d94dc0..1d7f26df93 100644 --- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java +++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java @@ -86,9 +86,8 @@ public class WidgetSetBuilder { + " Multiple browsers can be specified for GWT 1.7 as a comma separated\n" + " list. The supported user agents at the moment of writing were:\n" + " ie6,ie8,gecko,gecko1_8,safari,opera\n\n" - + " The value gecko is used for Firefox 3 and later, gecko1_8 is for\n" - + " Firefox 2 and safari is used for webkit based browsers including\n" - + " Google Chrome.\n" + + " The value gecko1_8 is used for Firefox 3 and later and safari is used for\n" + + " webkit based browsers including Google Chrome.\n" + " -->\n" + " <!-- <set-property name=\"user.agent\" value=\"gecko1_8\"/> -->\n"); printStream.print("\n</module>\n"); |