(Presuming so and submitting.)
http://gwt-code-reviews.appspot.com/202801
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
Done and done, although I noticed a difference between our dates and JRE
dates.
if (GWT.isScript()) {
d = dateForDouble(12345.67);
} else {
// In dev mode, we're using real JRE dates
d = new Date((long) 12345.67);
}
The JRE version's toString is Wed Dec 31 16:00:12 PST 1969, wh
LGTM, if you sort Date, and double-check that this trick works in hosted
mode correctly.
http://gwt-code-reviews.appspot.com/202801
--
http://groups.google.com/group/Google-Web-Toolkit-Contributors
