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.

Reply via email to