()
| 471 | } |
| 472 | |
| 473 | doOpenView() { |
| 474 | let Template = ErrorView; |
| 475 | let path = this.path; |
| 476 | if (path) { |
| 477 | if (path == "preferences") |
| 478 | Template = PreferencesView; |
| 479 | else if (system.fileExists(path)) |
| 480 | Template = CodeView; |
| 481 | else { |
| 482 | } |
| 483 | } |
| 484 | else |
| 485 | Template = NoCodePane; |
| 486 | this.MAIN.replace(this.MAIN.first, new Template(this)); |
| 487 | } |
| 488 | doToggleConsole(container) { |
| 489 | let divider = this.arrangement ? this.HORIZONTAL_MAIN_DIVIDER : this.VERTICAL_MAIN_DIVIDER; |
| 490 | divider.behavior.toggle(divider); |
no test coverage detected