1234567891011121314151617181920212223242526272829303132 |
- 'use strict';
- import * as vscode from 'vscode';
- function getTerminal(name: string) {
- let target = undefined;
- vscode.window.terminals.forEach(value => {
- if (value.name === name) {
- target = value;
- }
- });
- if (target === undefined) {
- target = vscode.window.createTerminal(name);
- }
- return target;
- }
- export function ceTerminal() {
- return getTerminal('acmx-compile-error');
- }
- export function stderrTerminal() {
- return getTerminal('acmx-stderr');
- }
- export function hideTerminals() {
- vscode.window.terminals.forEach(ter => {
- ter.hide();
- });
- }
|