UNPKG

@theia/core

Version:

Theia is a cloud & desktop IDE framework implemented in TypeScript.

39 lines (36 loc) 1.25 kB
// ***************************************************************************** // Copyright (C) 2022 Ericsson 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 WITH Classpath-exception-2.0 // ***************************************************************************** export type FrontendApplicationState = 'init' | 'started_contributions' | 'attached_shell' | 'initialized_layout' | 'ready' | 'closing_window'; export enum StopReason { /** * Closing the window with no prospect of restart. */ Close, /** * Reload without closing the window. */ Reload, /** * Reload that includes closing the window. */ Restart, }