workbench.desktop.main.js · part 519

60 text occurrences from desktop/Cursor.app/Contents/Resources/app/out/vs/workbench/workbench.desktop.main.js, part 519. Every entry preserves the shipped literal and its saved verdict or selection reason.

File contents and all parts · All files

Toggles an optimized mode for usage with screen readers, braille devices, and other assistive technologies.

Inspect Key Mappings

Inspect Key Mappings (JSON)

Developer: Inspect Editor Tokens and Scopes

No grammar or semantic tokens available.

${p.length} ${p.length===1?"char":"chars"}

standard token type

semantic token type

textmate token

${h} (${h.length})

textmate scopes

No theme selector

tree-sitter token ${g.id}

tree-sitter tree

contrast ratio

Contrast ratio cannot be precise for background colors that use transparency

font style

not in legend (ignored)

not in legend (ignored)

User settings: ${t.selector.id} - ${this._renderStyleProperty(t.style,n)}

Color theme: ${t.selector.id} - ${this._renderStyleProperty(t.style,n)}

Default: ${s?this._renderStyleProperty(s,n):""}

Go to Line/Column...

Format Modified Lines

Toggle Column Selection Mode

Toggle Minimap

Toggle Overtype/Insert Mode

Toggle between overtype and insert mode

Toggle Multi-Cursor Modifier

Toggle Control Characters

Toggle Render Whitespace

Write your instructions for the agent here...

Toggle Keyboard Shortcuts Troubleshooting

			position: fixed;
			pointer-events: none;
			z-index: 100000;
			background-color: rgba(255, 0, 0, 0.2);
			border: 2px solid rgba(255, 0, 0, 0.8);
			border-radius: 2px;
			display: none;
		

(${n.getLanguageName(u)??u})

(${u})

	// Place your 

 snippets here. Each snippet is defined under a snippet name and has a scope, prefix, body and 

	// description. Add comma separated ids of the languages where the snippet is applicable in the scope field. If scope 

	// is left empty or omitted, the snippet gets applied to all languages. The prefix is what is 

	// used to trigger the snippet and the body will be expanded and inserted. Possible variables are: 

	// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. 

	// Placeholders with the same ids are connected.

	// "Print to console": {

	// 	"scope": "javascript,typescript",

	// 	"prefix": "log",

	// 		"console.log('$1');",

	// 	"description": "Log output to console"

	// Place your snippets for 

 here. Each snippet is defined under a snippet name and has a prefix, body and 

	// description. The prefix is what is used to trigger the snippet and the body will be expanded and inserted. Possible variables are:

	// $1, $2 for tab stops, $0 for the final cursor position, and ${1:label}, ${2:another} for placeholders. Placeholders with the 

	// same ids are connected.

	// "Print to console": {

	// 	"prefix": "log",

	// 		"console.log('$1');",

	// 	"description": "Log output to console"

Configure Snippets

Insert Snippet

Insert Snippet