Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface TerminalProfileService

Hierarchy

  • TerminalProfileService

Index

Properties

all: [string, TerminalProfile][]
defaultProfile: undefined | TerminalProfile
onAdded: Event<string>
onRemoved: Event<string>

Methods

  • setDefaultProfile(id: string): void