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", |