aboutsummaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorHenri Sara <henri.sara@itmill.com>2009-11-05 07:16:20 +0000
committerHenri Sara <henri.sara@itmill.com>2009-11-05 07:16:20 +0000
commit744ecc75c41ed4d04667d9043f4a600764e91b27 (patch)
tree72df100622de1842ea245dc5820deb3752b60630 /src
parent79ef77855d98132bb0c9c9c802f4047e4ad825f8 (diff)
downloadvaadin-framework-744ecc75c41ed4d04667d9043f4a600764e91b27.tar.gz
vaadin-framework-744ecc75c41ed4d04667d9043f4a600764e91b27.zip
#3569 document in widgetset how to compile for some user agents only
svn changeset:9627/svn branch:6.2
Diffstat (limited to 'src')
-rw-r--r--src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java21
1 files changed, 18 insertions, 3 deletions
diff --git a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
index ac1ef284c9..2278488c1a 100644
--- a/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
+++ b/src/com/vaadin/terminal/gwt/widgetsetutils/WidgetSetBuilder.java
@@ -20,11 +20,11 @@ import java.util.regex.Pattern;
/**
* Helper class to update widgetsets GWT module configuration file. Can be used
* command line or via IDE tools.
- *
+ *
* <p>
* If module definition file contains text "WS Compiler: manually edited", tool
* will skip editing file.
- *
+ *
*/
public class WidgetSetBuilder {
@@ -65,7 +65,22 @@ public class WidgetSetBuilder {
+ "Google Web Toolkit 1.7.0//EN\" \"http://google"
+ "-web-toolkit.googlecode.com/svn/tags/1.7.0/dis"
+ "tro-source/core/src/gwt-module.dtd\">\n");
- printStream.print("<module>\n\n</module>\n");
+ printStream.print("<module>\n");
+ printStream
+ .print(" <!--\n"
+ + " Uncomment the following to compile the widgetset for one browser only.\n"
+ + " This can reduce the GWT compilation time significantly when debugging.\n"
+ + " The line should be commented out before deployment to production\n"
+ + " environments.\n\n"
+ + " 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"
+ + " -->\n"
+ + " <!-- <set-property name=\"user.agent\" value=\"gecko\"/> -->\n");
+ printStream.print("\n</module>\n");
printStream.close();
changed = true;
}