Move dart:dom to dart:dom_deprecated

utils/tip/tip.dart

 // Copyright (c) 2011, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 /**
  * This giant file has pieces for compiling dart in the browser, injecting
  * scripts into pages and a bunch of classes to build a simple dart editor.
  *
  * TODO(jimhug): Separate these pieces cleanly.
  */
 
-#import('dart:dom');
+#import('dart:dom_deprecated');
 #import('../../frog/lang.dart');
 #import('../../frog/file_system_dom.dart');
 
 
 void main() {
   final systemPath = getRootPath(window) + '/../../frog';
   final userPath = getRootPath(window.parent);
 
   if (window !== window.parent) {
     // I'm in an iframe - frogify my surrounding code unless dart is native.
@@ skipping 85 matching lines @@
   options.addAll(flags);
   options.add(DART_FILENAME);
   parseOptions(systemPath, options, fs);
   initializeWorld(fs);
 }
 
 final int LINE_HEIGHT = 22; // TODO(jimhug): This constant sucks.
 final int CHAR_WIDTH = 8; // TODO(jimhug): See above.
 
 final String CODE = '''
-#import("dart:dom");
+#import("dart:dom_deprecated");
 
 // This is an interesting field;
 final int y = 22;
 String name;
 
 /** This is my main method. */
 void main() {
   var element = document.createElement('div');
   element.innerHTML = "Hello dom from Dart!";
   document.body.appendChild(element);
@@ skipping 1486 matching lines @@
       return Classification.KEYWORD;
 
     case TokenKind.WHITESPACE:
     case TokenKind.END_OF_FILE:
       return Classification.NONE;
 
     default:
       return Classification.NONE;
   }
 }