export namespace window {
	/**
	 * The currently opened terminals or an empty array.
	 */
	export const terminals: ReadonlyArray<Terminal>;

	/**
	 * An [event](#Event) which fires when a terminal has been created, either through the
	 * [createTerminal](#window.createTerminal) API or commands.
	 */
	export const onDidOpenTerminal: Event<Terminal>;
}