console-manager.ts

// *****************************************************************************
// Copyright (C) 2018 TypeFox and others.
//
// This program and the accompanying materials are made available under the
// terms of the Eclipse Public License v. 2.0 which is available at
// http://www.eclipse.org/legal/epl-2.0.
//
// This Source Code may also be made available under the following Secondary
// Licenses when the conditions for such availability set forth in the Eclipse
// Public License v. 2.0 are satisfied: GNU General Public License, version 2
// with the GNU Classpath Exception which is available at
// https://www.gnu.org/software/classpath/license.html.
//
// SPDX-License-Identifier: EPL-2.0 OR GPL-2.0-only WITH Classpath-exception-2.0
// *****************************************************************************

import { injectable, inject } from '@theia/core/shared/inversify';
import { ApplicationShell } from '@theia/core/lib/browser';
import { ConsoleWidget } from './console-widget';

@injectable()
export class ConsoleManager {

    @inject(ApplicationShell)
    protected readonly shell: ApplicationShell;

    get activeConsole(): ConsoleWidget | undefined {
        const widget = this.shell.activeWidget;
        return widget instanceof ConsoleWidget ? widget : undefined;
    }

    get currentConsole(): ConsoleWidget | undefined {
        const widget = this.shell.currentWidget;
        return widget instanceof ConsoleWidget ? widget : undefined;
    }

}