OLD | NEW |
1 { | 1 { |
2 "extensions": [ | 2 "extensions": [ |
3 { | 3 { |
4 "type": "view", | 4 "type": "view", |
5 "location": "panel", | 5 "location": "panel", |
6 "id": "console", | 6 "id": "console", |
7 "title": "Console", | 7 "title": "Console", |
8 "order": 20, | 8 "order": 20, |
9 "className": "Console.ConsolePanel" | 9 "className": "Console.ConsolePanel" |
10 }, | 10 }, |
(...skipping 101 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
112 { "value": true, "title": "Autocomplete from history" }, | 112 { "value": true, "title": "Autocomplete from history" }, |
113 { "value": false, "title": "Do not autocomplete from history" } | 113 { "value": false, "title": "Do not autocomplete from history" } |
114 ] | 114 ] |
115 } | 115 } |
116 ], | 116 ], |
117 "dependencies": [ | 117 "dependencies": [ |
118 "components", "ui_lazy" | 118 "components", "ui_lazy" |
119 ], | 119 ], |
120 "scripts": [ | 120 "scripts": [ |
121 "ConsoleContextSelector.js", | 121 "ConsoleContextSelector.js", |
| 122 "ConsoleViewport.js", |
122 "ConsoleViewMessage.js", | 123 "ConsoleViewMessage.js", |
123 "ConsolePrompt.js", | 124 "ConsolePrompt.js", |
124 "ConsoleView.js", | 125 "ConsoleView.js", |
125 "ConsolePanel.js" | 126 "ConsolePanel.js" |
126 ], | 127 ], |
127 "resources": [ | 128 "resources": [ |
128 "consoleView.css" | 129 "consoleView.css" |
129 ] | 130 ] |
130 } | 131 } |
OLD | NEW |