commit abe666a244f4e75147a0df22cf8334f9af78ecb1
author gwt.team.jgw <gwt.team.jgw@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Mar 05 21:04:51 2008 +0000
committer gwt.team.jgw <gwt.team.jgw@8db76d5a-ed1c-0410-87a9-c151d255dfc7> Wed Mar 05 21:04:51 2008 +0000
tree 65577746d769b0836787d4ebde5ea440ab3b2862
parent eda21bf778dc79015e758db11f77e91ce73e7ffa

Quick patch to fix a quirks -> standards bug (missing 'px') in the mail sample.
Patch by: jgw
Review by: zundel



git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@2012 8db76d5a-ed1c-0410-87a9-c151d255dfc7

samples/mail/src/com/google/gwt/sample/mail/client/Mail.java

diff --git a/samples/mail/src/com/google/gwt/sample/mail/client/Mail.java b/samples/mail/src/com/google/gwt/sample/mail/client/Mail.java
index a84c7eb..a530cca 100644
--- a/samples/mail/src/com/google/gwt/sample/mail/client/Mail.java
+++ b/samples/mail/src/com/google/gwt/sample/mail/client/Mail.java
@@ -131,7 +131,7 @@
     if (shortcutHeight < 1) {
       shortcutHeight = 1;
     }
-    shortcuts.setHeight("" + shortcutHeight);
+    shortcuts.setHeight(shortcutHeight + "px");
 
     // Give the mail detail widget a chance to resize itself as well.
     mailDetail.adjustSize(width, height);

samples/mail/src/com/google/gwt/sample/mail/client/MailDetail.java

diff --git a/samples/mail/src/com/google/gwt/sample/mail/client/MailDetail.java b/samples/mail/src/com/google/gwt/sample/mail/client/MailDetail.java
index 964cc3c..42901ba 100644
--- a/samples/mail/src/com/google/gwt/sample/mail/client/MailDetail.java
+++ b/samples/mail/src/com/google/gwt/sample/mail/client/MailDetail.java
@@ -76,7 +76,7 @@
       scrollHeight = 1;
     }
 
-    scroller.setSize("" + scrollWidth, "" + scrollHeight);
+    scroller.setPixelSize(scrollWidth, scrollHeight);
   }
 
   public void setItem(MailItem item) {