Tom, Rob, thanx for this valuable information. That default is not "default" is quite interesting, I wasn't aware of that. But then the question is, how do I change the NumberFormat so that it uses the set locale, eg de_DE, instead of "default"? I have not been able to find/understand a way to do that. Maybe you can help me with that...
The problem I have is that I can't use a fixed locale because my users can change the language/locale on the fly. With the help of this and other forums I found the way how to do that by reloading the app with an "locale=de_DE" appended to the original URL. Not very nice and elegant but it seems to be the only way. And as I mentioned in my OP it actually works as far as the messages from GWT are concerned. But what about NumberFormat (and DateFormat for that matter), how can I change the default locale? -- 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.