DevTools: Create TextEditor Interface around CodeMirrorTextEditor

third_party/WebKit/Source/devtools/devtools.gypi

 #
 # Copyright (C) 2013 Google Inc. All rights reserved.
 #
 # Redistribution and use in source and binary forms, with or without
 # modification, are permitted provided that the following conditions are
 # met:
 #
 #         * Redistributions of source code must retain the above copyright
 # notice, this list of conditions and the following disclaimer.
 #         * Redistributions in binary form must reproduce the above
@@ skipping 272 matching lines @@
             'front_end/ui/Dialog.js',
             'front_end/ui/DOMSyntaxHighlighter.js',
             'front_end/ui/DropDownMenu.js',
             'front_end/ui/DropTarget.js',
             'front_end/ui/EmptyWidget.js',
             'front_end/ui/FilterBar.js',
             'front_end/ui/ForwardedInputEventHandler.js',
             'front_end/ui/HistoryInput.js',
             'front_end/ui/Infobar.js',
             'front_end/ui/InplaceEditor.js',
+            'front_end/ui/TextEditor.js',
             'front_end/ui/InspectorView.js',
             'front_end/ui/KeyboardShortcut.js',
             'front_end/ui/ListWidget.js',
             'front_end/ui/Panel.js',
             'front_end/ui/Popover.js',
             'front_end/ui/ProgressIndicator.js',
             'front_end/ui/ReportView.js',
             'front_end/ui/ResizerWidget.js',
             'front_end/ui/RootView.js',
             'front_end/ui/SearchableView.js',
@@ skipping 605 matching lines @@
             'front_end/Images/toolbarResizerVertical.png',
             'front_end/Images/toolbarItemSelected.png',
             'front_end/Images/touchCursor.png',
             'front_end/Images/touchCursor_2x.png',
         ],
         'devtools_extension_api_files': [
             'front_end/extensions/ExtensionAPI.js',
         ],
     },
 }