| 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 107 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 118 { | 118 { |
| 119 "value": false, | 119 "value": false, |
| 120 "title": "Do not autocomplete from history" | 120 "title": "Do not autocomplete from history" |
| 121 } | 121 } |
| 122 ] | 122 ] |
| 123 } | 123 } |
| 124 ], | 124 ], |
| 125 "dependencies": [ | 125 "dependencies": [ |
| 126 "components", | 126 "components", |
| 127 "data_grid", | 127 "data_grid", |
| 128 "object_ui" | 128 "object_ui", |
| 129 "console_model" |
| 129 ], | 130 ], |
| 130 "scripts": [ | 131 "scripts": [ |
| 131 "ConsoleContextSelector.js", | 132 "ConsoleContextSelector.js", |
| 132 "ConsoleViewport.js", | 133 "ConsoleViewport.js", |
| 133 "ConsoleViewMessage.js", | 134 "ConsoleViewMessage.js", |
| 134 "ConsolePrompt.js", | 135 "ConsolePrompt.js", |
| 135 "ConsoleView.js", | 136 "ConsoleView.js", |
| 136 "ConsolePanel.js" | 137 "ConsolePanel.js" |
| 137 ], | 138 ], |
| 138 "resources": [ | 139 "resources": [ |
| 139 "consoleView.css" | 140 "consoleView.css" |
| 140 ] | 141 ] |
| 141 } | 142 } |
| OLD | NEW |