| Index: third_party/WebKit/Source/devtools/devtools.gypi
|
| diff --git a/third_party/WebKit/Source/devtools/devtools.gypi b/third_party/WebKit/Source/devtools/devtools.gypi
|
| index 00de7537c9bee7b225a939803fb4b996c3ab30fa..e4ade5e60c5b0d9740755449f7ffe0d28b123865 100644
|
| --- a/third_party/WebKit/Source/devtools/devtools.gypi
|
| +++ b/third_party/WebKit/Source/devtools/devtools.gypi
|
| @@ -290,6 +290,7 @@
|
| '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',
|
|
|