I've created a patch for CssResources to not change CSS class names at all.
Details + motivation are given in the issue here: http://code.google.com/p/google-web-toolkit/issues/detail?id=5659 Also, see at least one case where a developer (other than me) needed such a feature: http://code.google.com/p/google-web-toolkit/issues/detail?id=5659&can=4&colspec=ID%20Type%20Status%20Owner%20Milestone%20Summary%20Stars Comments welcome, Noam Lewis EntireOne Inc. -- 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-tool...@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.
