UNPKG

@theia/core

Version:

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

38 lines 1.45 kB
import { Emitter, Event } from '../../common/event'; import { CorePreferences } from '../core-preferences'; import { ContributionProvider } from '../../common'; export declare const WindowTitleContribution: unique symbol; export interface WindowTitleContribution { enhanceTitle(title: string, parts: Map<string, string | undefined>): string; } export declare const InitialWindowTitleParts: { activeEditorShort: undefined; activeEditorMedium: undefined; activeEditorLong: undefined; activeFolderShort: undefined; activeFolderMedium: undefined; activeFolderLong: undefined; folderName: undefined; folderPath: undefined; rootName: undefined; rootPath: undefined; appName: string; remoteName: undefined; dirty: undefined; developmentHost: undefined; }; export declare class WindowTitleService { protected readonly preferences: CorePreferences; protected readonly titleContributions: ContributionProvider<WindowTitleContribution>; protected _title: string; protected titleTemplate?: string; protected onDidChangeTitleEmitter: Emitter<string>; protected titleParts: Map<string, string | undefined>; protected separator: string; protected init(): void; get onDidChangeTitle(): Event<string>; get title(): string; update(parts: Record<string, string | undefined>): void; protected updateTitle(): void; } //# sourceMappingURL=window-title-service.d.ts.map