HasHTML extends HasText, so there is no need for these widgets to declare both
interfaces. And the fact that they do makes UiBinder treat their content as text
rather than HTML. The UiBinder fix would be hard, maybe even completely
impractical. Fixing the widgets is easy, so...

Reviewed by jgw

git-svn-id: https://google-web-toolkit.googlecode.com/svn/trunk@6645 8db76d5a-ed1c-0410-87a9-c151d255dfc7
4 files changed