From 1f1b6b47ac95a5f378a3099cae2f7520c77faed2 Mon Sep 17 00:00:00 2001 From: Artur Signell Date: Tue, 7 Jul 2009 13:01:04 +0000 Subject: [PATCH] #3126 - Added a portal default widget set with IE8 fixes svn changeset:8344/svn branch:6.0 --- build/build.xml | 27 +++++++++++++++++- .../gwt/PortalDefaultWidgetSet.gwt.xml | 28 +++++++++++++++++++ 2 files changed, 54 insertions(+), 1 deletion(-) create mode 100644 src/com/vaadin/terminal/gwt/PortalDefaultWidgetSet.gwt.xml diff --git a/build/build.xml b/build/build.xml index c10c55a75f..bc5f19fddd 100644 --- a/build/build.xml +++ b/build/build.xml @@ -788,6 +788,27 @@ Compiled DefaultWidgetSet + + Compiling src (client-side) + com.vaadin.terminal.gwt.PortalDefaultWidgetSet + + + + + + + + + + + + + + + + Compiled PortalDefaultWidgetSet + + @@ -886,7 +907,7 @@ - + @@ -921,6 +942,10 @@ + + + + diff --git a/src/com/vaadin/terminal/gwt/PortalDefaultWidgetSet.gwt.xml b/src/com/vaadin/terminal/gwt/PortalDefaultWidgetSet.gwt.xml new file mode 100644 index 0000000000..0601679480 --- /dev/null +++ b/src/com/vaadin/terminal/gwt/PortalDefaultWidgetSet.gwt.xml @@ -0,0 +1,28 @@ + + + + + + + + + = 8) { + return "true"; + } + } + return "false"; + + ]]> + + + + + + -- 2.39.5