Deprecating Element.elements for Element.children.

samples/calculator/calculator.dart

Index: samples/calculator/calculator.dart
diff --git a/samples/calculator/calculator.dart b/samples/calculator/calculator.dart
index e9133b12d0b9e2d17c12d8bb1a8bdd0e5f83722c..9f8a95d563a4d3e255b5c81506784c7a9a124857 100644
--- a/samples/calculator/calculator.dart
+++ b/samples/calculator/calculator.dart
@@ -79,7 +79,7 @@ void setupEvents() {
     // If settings dialog is open close it.
     mySettings.close(e);
 
-    renderPad(document.body.elements.last);
+    renderPad(document.body.children.last);
     if (wasOpened) {
       removePadEvents();
       addPadEvents();
@@ -152,12 +152,12 @@ void renderPad(Element parentElement) {
     // Update calculator pad.
 
     // Remove previous pad UI
-    if (parentElement.elements.length > 1) {
-      parentElement.elements.last.remove();
+    if (parentElement.children.length > 1) {
+      parentElement.children.last.remove();
     }
 
     // Add new pad UI.
-    parentElement.elements.add(padUI.root);
+    parentElement.children.add(padUI.root);
   }
 }
 
@@ -367,7 +367,7 @@ void main() {
 
   // Create our Tape UI.
   tapeUI = new TapeUI();
-  element.elements.add(tapeUI.root);
+  element.children.add(tapeUI.root);
 
   // Create our tape controller.
   tape = new Tape();
@@ -375,7 +375,7 @@ void main() {
   renderPad(element);
 
   // Render the UI.
-  document.body.elements.add(element);
+  document.body.children.add(element);
 
   currentRegister = "";
   total = 0.0;