| Index: Source/devtools/scripts/compile_frontend.py
|
| diff --git a/Source/devtools/scripts/compile_frontend.py b/Source/devtools/scripts/compile_frontend.py
|
| index 01eeb46b746cc1993f3020d9609ce7cbbee3e5d2..b02e414ec891778df67cf5ebd72fc47b6f4a0eaf 100755
|
| --- a/Source/devtools/scripts/compile_frontend.py
|
| +++ b/Source/devtools/scripts/compile_frontend.py
|
| @@ -128,6 +128,7 @@ modules = [
|
| "dependencies": ["common"],
|
| "sources": [
|
| "Checkbox.js",
|
| + "CodeMirrorUtils.js",
|
| "CodeMirrorTextEditor.js",
|
| "ContextMenu.js",
|
| "CompletionDictionary.js",
|
| @@ -155,7 +156,6 @@ modules = [
|
| "ShowMoreDataGridNode.js",
|
| "SidebarOverlay.js",
|
| "SoftContextMenu.js",
|
| - "SourceTokenizer.js",
|
| "Spectrum.js",
|
| "SplitView.js",
|
| "SidebarView.js",
|
| @@ -163,9 +163,7 @@ modules = [
|
| "SuggestBox.js",
|
| "TabbedPane.js",
|
| "TextEditor.js",
|
| - "TextEditorHighlighter.js",
|
| "TextRange.js",
|
| - "TextEditorModel.js",
|
| "TextPrompt.js",
|
| "TextUtils.js",
|
| "TimelineGrid.js",
|
|
|