New version of dart:html

client/samples/total/src/SelectionManager.dart

Index: client/samples/total/src/SelectionManager.dart
diff --git a/client/samples/total/src/SelectionManager.dart b/client/samples/total/src/SelectionManager.dart
index 87235f7fcac86d5424df086c7be74d9199a92394..ead003dec75bd5db4cc02905ff6b9f8a99bd8ee3 100644
--- a/client/samples/total/src/SelectionManager.dart
+++ b/client/samples/total/src/SelectionManager.dart
@@ -52,13 +52,13 @@ class SelectionManager {
     Document doc = window.document;
 
     Element spreadsheetElement = presenter.spreadsheetElement;
-    _selectionDiv = doc.createElement("div");
+    _selectionDiv = new Element.tag("div");
     _selectionDiv.id = "selection-${_spreadsheet.name}";
     _selectionDiv.attributes["class"] = "selection";
     _selectionDiv.style.setProperty("display", "none");
     spreadsheetElement.nodes.add(_selectionDiv);
 
-    Element thumb = doc.createElement("div");
+    Element thumb = new Element.tag("div");
     thumb.id = "selection-thumb-${_spreadsheet.name}";
     thumb.attributes["class"] = "selection-thumb";
     _selectionDiv.nodes.add(thumb);