tree 2e9e4d31b1684dffb0d67dc635f6ef2334d969b4
parent cf8428d038ba3847d9e4232a5e6e5be7de9c3147
author awiner@google.com <awiner@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1266517169 +0000
committer awiner@google.com <awiner@google.com@8db76d5a-ed1c-0410-87a9-c151d255dfc7> 1266517169 +0000

Add new method HTMLPanel.add(Widget, Element) (using gwt.dom.client.Element)
Add overload HTMLPanel.addAndReplaceElement(Widget, Element), marked final so that anyone actually overriding these methods does so on the only one that works.
Deprecated HTMLPanel.addAndReplaceElement(Widget, gwt.user.client.Element)


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