* Open a file through an external command.
(file: string)
| 413 | * Open a file through an external command. |
| 414 | */ |
| 415 | async openFileExternally(file: string) { |
| 416 | await this.codeServer.run(["--reuse-window", file]) |
| 417 | } |
| 418 | |
| 419 | /** |
| 420 | * Wait for a tab to open for the specified file. |