# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1383989013 -3600
# Node ID 43881c3dda9d61c2215b0644fb7283bf75e10818
# Parent  43a27ffc74df474f4f41365354f8da34a64c3dd5
browser side: added Node.setAttribute and Node.toxml to nativedom

diff -r 43a27ffc74df -r 43881c3dda9d browser_side/nativedom.py
--- a/browser_side/nativedom.py	Fri Nov 08 16:34:54 2013 +0100
+++ b/browser_side/nativedom.py	Sat Nov 09 10:23:33 2013 +0100
@@ -28,7 +28,7 @@
 
 
 class Node():
-   
+
     def __init__(self, js_node):
         self._node = js_node
 
@@ -50,9 +50,15 @@
     def getAttribute(self, attr):
         return self._node.getAttribute(attr)
 
+    def setAttribute(self, attr, value):
+        return self._node.setAttribute(attr, value)
+
     def hasAttribute(self, attr):
         return self._node.hasAttribute(attr)
 
+    def toxml(self):
+        return JS("""this._node.outerHTML || new XMLSerializer().serializeToString(this._node);""")
+
 
 class Element(Node):
 
@@ -61,9 +67,10 @@
 
     def getElementsByTagName(self, tagName):
         return self._jsNodesList2List(self._node.getElementsByTagName(tagName))
-   
+
+
 class Document(Node):
-    
+
     def __init__(self, js_document):
         Node.__init__(self, js_document)
 
@@ -71,8 +78,9 @@
     def documentElement(self):
         return Element(self._node.documentElement)
 
+
 class NativeDOM:
-    
+
     def __init__(self):
         JS("""