()
| 153 | } |
| 154 | |
| 155 | export async function restartRTerminal(): Promise<void>{ |
| 156 | if (typeof rTerm !== 'undefined'){ |
| 157 | rTerm.dispose(); |
| 158 | deleteTerminal(rTerm); |
| 159 | await createRTerm(true); |
| 160 | } |
| 161 | } |
| 162 | |
| 163 | export function deleteTerminal(term: vscode.Terminal): void { |
| 164 | if (isDeepStrictEqual(term, rTerm)) { |
no test coverage detected