Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • DefaultProfileStore

Implements

Index

Constructors

Properties

onAdded: Event<[string, TerminalProfile]> = ...
onAddedEmitter: Emitter<[string, TerminalProfile]> = ...
onRemoved: Event<string> = ...
onRemovedEmitter: Emitter<string> = ...
profiles: Map<string, TerminalProfile> = ...

Accessors

Methods

  • hasProfile(id: string): boolean
  • unregisterTerminalProfile(id: string): void