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 |