I don't know anything about RichText. Do we care about <script> tags? Or other means of adding executable JS to the page?
Ian --~--~---------~--~----~------------~-------~--~----~ http://groups.google.com/group/Google-Web-Toolkit-Contributors -~----------~----~----~----~------~----~------~--~---
