If you are trying to format a date, which appears to be the case, you can use DateTimeFormat.
-Ben On Feb 15, 12:36 pm, Magnus <alpineblas...@googlemail.com> wrote: > Hi, > > I need String.format: > > String r = String.format("%2d %2d:%2d:%2d",d,h,m,s); > > Since GWT does not support this method: What can I do instead? > > Magnus -- You received this message because you are subscribed to the Google Groups "Google Web Toolkit" group. To post to this group, send email to google-web-toolkit@googlegroups.com. To unsubscribe from this group, send email to google-web-toolkit+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.