CSSResource Classname Obfuscation

Last night I was tying to turn off CSSResource class obfuscation by reading the docs: http://code.google.com/webtoolkit/doc/latest/DevGuideClientBundle.html#Selector_obfuscation

It talks about using <set-configuration-property name="CssResource.style" value="pretty" /> that still changed the class names (adding prefixes) and I eventually had to dig into the code to find the following:

pretty, (include original CSS classname and prefix of package/Java classname and random stuff)
stable, (original CSS classname, prefixed with package and Java classname)
stable-shorttype, (original CSS classname, prefixed with package)
stable-notype, (original CSS classname)
obf/default (obfuscated, no original CSS classname included)

So what is the best way to note this? Is there a wiki or way to contribute back to the original documentation? Or am I just supposed to post this on a blog hoping others will find it?

--
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+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/google-web-toolkit?hl=en.