| Index: Source/devtools/scripts/compile_frontend.py
|
| diff --git a/Source/devtools/scripts/compile_frontend.py b/Source/devtools/scripts/compile_frontend.py
|
| index 5a3ba6998e34bb884e11ce1a5c30184d7743d12e..8188c6a20f83d88d8e48abf490f0e2431e73f826 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",
|
|
|