(page)
| 255 | editorManager.files[fileIndex].makeActive(); |
| 256 | }, |
| 257 | async open(page) { |
| 258 | switch (page) { |
| 259 | case "settings": |
| 260 | ( |
| 261 | await import( |
| 262 | /* webpackChunkName: "mainSettings" */ "settings/mainSettings" |
| 263 | ) |
| 264 | ).default(); |
| 265 | break; |
| 266 | |
| 267 | case "help": |
| 268 | ( |
| 269 | await import( |
| 270 | /* webpackChunkName: "helpSettings" */ "settings/helpSettings" |
| 271 | ) |
| 272 | ).default(); |
| 273 | break; |
| 274 | |
| 275 | case "problems": |
| 276 | ( |
| 277 | await import( |
| 278 | /* webpackChunkName: "problems" */ "pages/problems/problems" |
| 279 | ) |
| 280 | ).default(); |
| 281 | break; |
| 282 | |
| 283 | case "plugins": |
| 284 | ( |
| 285 | await import(/* webpackChunkName: "plugins" */ "pages/plugins") |
| 286 | ).default(); |
| 287 | break; |
| 288 | |
| 289 | case "file_browser": |
| 290 | (await loadFileBrowser())(); |
| 291 | break; |
| 292 | |
| 293 | case "about": |
| 294 | (await import(/* webpackChunkName: "about" */ "pages/about")).default(); |
| 295 | break; |
| 296 | |
| 297 | default: |
| 298 | return; |
| 299 | } |
| 300 | editorManager.editor.contentDOM.blur(); |
| 301 | }, |
| 302 | "open-with"() { |
| 303 | editorManager.activeFile.openWith(); |
| 304 | }, |
nothing calls this directly
no test coverage detected