Rename "inputPre" to "mainEditorPane".

dart/site/try/src/editor.dart

 // Copyright (c) 2013, 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.
 
 library trydart.editor;
 
 import 'dart:html';
 
 import 'package:compiler/implementation/scanner/scannerlib.dart'
   show
     EOF_TOKEN,
     StringScanner,
     Token;
 
 import 'ui.dart' show
     currentTheme,
     hackDiv,
-    inputPre,
+    mainEditorPane,
     observer,
     outputDiv;
 
 import 'decoration.dart' show
     CodeCompletionDecoration,
     Decoration,
     DiagnosticDecoration,
     error,
     info,
     warning;
@@ skipping 72 matching lines @@
 
 var activeCompletion;
 num minSuggestionWidth = 0;
 
 /// Returns the [Element] which encloses the current collapsed selection, if it
 /// exists.
 Element getElementAtSelection() {
   Selection selection = window.getSelection();
   if (!selection.isCollapsed) return null;
   var anchorNode = selection.anchorNode;
-  if (!inputPre.contains(anchorNode)) return null;
-  if (inputPre == anchorNode) return null;
+  if (!mainEditorPane.contains(anchorNode)) return null;
+  if (mainEditorPane == anchorNode) return null;
   int type = anchorNode.nodeType;
   if (type != Node.TEXT_NODE) return null;
   Text text = anchorNode;
   var parent = text.parent;
   if (parent is! Element) return null;
-  if (inputPre == parent) return null;
+  if (mainEditorPane == parent) return null;
   return parent;
 }
 
 bool isMalformedInput = false;
 String currentSource = "";
 
 addDiagnostic(String kind, String message, int begin, int end) {
   observer.disconnect();
   Selection selection = window.getSelection();
   int offset = 0;
@@ skipping 42 matching lines @@
         return;
       }
     }
 
     var child = node.firstChild;
     while(child != null && !foundNode) {
       walk4(child);
       child = child.nextNode;
     }
   }
-  walk4(inputPre);
+  walk4(mainEditorPane);
 
   if (!foundNode) {
     outputDiv.appendText('$message\n');
   }
 
   observer.takeRecords();
   observer.observe(
-      inputPre, childList: true, characterData: true, subtree: true);
+      mainEditorPane, childList: true, characterData: true, subtree: true);
 }
 
 void inlineChildren(Element element) {
   if (element == null) return;
   var parent = element.parentNode;
   if (parent == null) return;
   for (Node child in new List.from(element.nodes)) {
     child.remove();
     parent.insertBefore(child, element);
   }
@@ skipping 19 matching lines @@
 
 diagnostic(text, tip) {
   if (text is String) {
     text = new Text(text);
   }
   return new AnchorElement()
       ..classes.add('diagnostic')
       ..append(text)
       ..append(tip);
 }