-
Notifications
You must be signed in to change notification settings - Fork 38.4k
Closed
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bughelp wantedIssues identified as good community contribution opportunitiesIssues identified as good community contribution opportunitiesinsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-local-echoRelating to the terminal's local echo and line editing for remote windowsRelating to the terminal's local echo and line editing for remote windowsverifiedVerification succeededVerification succeeded
Milestone
Description
[TerminalSettingId.LocalEchoStyle]: {
description: localize('terminal.integrated.localEchoStyle', "Terminal style of locally echoed text; either a font style or an RGB color."),
default: 'dim',
oneOf: [
{
type: 'string',
default: 'dim',
enum: ['bold', 'dim', 'italic', 'underlined', 'inverted'],
},
{
type: 'string',
format: 'color-hex',
default: '#ff0000',
}
]
},
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bughelp wantedIssues identified as good community contribution opportunitiesIssues identified as good community contribution opportunitiesinsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code Insidersterminal-local-echoRelating to the terminal's local echo and line editing for remote windowsRelating to the terminal's local echo and line editing for remote windowsverifiedVerification succeededVerification succeeded
