Options
All
  • Public
  • Public/Protected
  • All
Menu

Interface IShellTerminalPreferences

Hierarchy

  • IShellTerminalPreferences

Index

Properties

Properties

shell: ShellTerminalOSPreferences<undefined | string>
shellArgs: ShellTerminalOSPreferences<string[]>