()
| 126 | } |
| 127 | |
| 128 | export async function hideOutputPanel() { |
| 129 | // Work around for the removal of the command `workbench.action.closePanel`. |
| 130 | // await commands.executeCommand('workbench.action.terminal.killAll'); |
| 131 | await commands.executeCommand('workbench.action.problems.focus'); |
| 132 | await commands.executeCommand('workbench.action.togglePanel'); |
| 133 | } |
no test coverage detected