Options
All
  • Public
  • Public/Protected
  • All
Menu

Class CommonFrontendContribution

Hierarchy

  • CommonFrontendContribution

Implements

Index

Constructors

Properties

aboutDialog: AboutDialog
authenticationService: AuthenticationService
clipboardService: ClipboardService
commandRegistry: CommandRegistry
commonDecorationsStyleSheet: CSSStyleSheet = ...
contextKeyService: ContextKeyService
encodingRegistry: EncodingRegistry
environments: EnvVariablesServer
iconThemes: IconThemeService
languageQuickPickService: LanguageQuickPickService
localizationProvider: AsyncLocalizationProvider
messageService: MessageService
openerService: OpenerService
pinnedKey: ContextKey<boolean>
preferenceService: PreferenceService
preferences: CorePreferences
quickInputService: QuickInputService
resourceContextKey: ResourceContextKey
saveResourceService: SaveResourceService
selectionService: SelectionService
shouldPreventClose: boolean = false
storageService: StorageService
themeService: ThemeService
untitledResourceResolver: UntitledResourceResolver
windowService: WindowService
workingDirProvider: UserWorkingDirectoryProvider

Methods

  • configureDisplayLanguage(): Promise<void>
  • confirmRestart(languageName: string): Promise<boolean>
  • getOrdinalNumbers(): readonly string[]
  • initResourceContextKeys(): void
  • isBreadcrumbsEnabled(): boolean
  • isElectron(): boolean
  • onStart(): void
  • onStop(): void
  • openAbout(): Promise<void>
  • registerCtrlWHandling(): void
  • registers event listener which make sure that window doesn't get closed if CMD/CTRL W is pressed. Too many users have that in their muscle memory. Chrome doesn't let us rebind or prevent default the keybinding, so this at least doesn't close the window immediately.

    Returns void

  • selectColorTheme(): void
  • selectIconTheme(): void
  • setSashProperties(): void
  • toggleBreadcrumbs(): void
  • togglePinned(title?: Title<Widget>): void
  • unsavedTabsCaptions(): string[]
  • updatePinnedKey(): void
  • updateStyles(): void