Rename "inputPre" to "mainEditorPane".

dart/site/try/src/editor.dart

Index: dart/site/try/src/editor.dart
diff --git a/dart/site/try/src/editor.dart b/dart/site/try/src/editor.dart
index f360e76bcca15b5edf1e66f9747407ccb8e3f1ab..9f8d157b42261f5c8345583056beaffc3d1e1462 100644
--- a/dart/site/try/src/editor.dart
+++ b/dart/site/try/src/editor.dart
@@ -15,7 +15,7 @@ import 'package:compiler/implementation/scanner/scannerlib.dart'
 import 'ui.dart' show
     currentTheme,
     hackDiv,
-    inputPre,
+    mainEditorPane,
     observer,
     outputDiv;
 
@@ -108,14 +108,14 @@ 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;
 }
 
@@ -178,7 +178,7 @@ addDiagnostic(String kind, String message, int begin, int end) {
       child = child.nextNode;
     }
   }
-  walk4(inputPre);
+  walk4(mainEditorPane);
 
   if (!foundNode) {
     outputDiv.appendText('$message\n');
@@ -186,7 +186,7 @@ addDiagnostic(String kind, String message, int begin, int end) {
 
   observer.takeRecords();
   observer.observe(
-      inputPre, childList: true, characterData: true, subtree: true);
+      mainEditorPane, childList: true, characterData: true, subtree: true);
 }
 
 void inlineChildren(Element element) {