title: In GWT, How can I get all attributes of an element in the HTML DOM?
body: <p>I can't see any method on the com.google.gwt.dom.client.Element class that allows me to get all attributes of an element node. Have I missed anything?</p>
  
  <p>Presumably I can get the attributes array of the underlying Javascript object by dropping into native code? I know the results are browser-dependent, but there seem to be known workarounds for that. I haven't dived much into native JS, so if someone can show me how to do it, that would be a bonus.</p>