workbench.desktop.main.js · part 331

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

File contents and all parts · All files

Show Next Inline Suggestion

Show Previous Inline Suggestion

Trigger Inline Suggestion

Trigger Next Edit Suggestion

Accept Next Word Of Inline Suggestion

Accept Next Word Of Inline Suggestion

Accept Next Line Of Inline Suggestion

Accept Inline Suggestion

Accept Inline Suggestion

Jump to next inline edit

Accept Next Inline Edit Part

Hide Inline Suggestion

Toggle Inline Suggestions Show Collapsed

Developer: Inline Suggest Extract Repro

${s.documentValue}

// <json>
${a}
// </json>

hover-contents code-hover-contents

Inline completion is visible but state is not available

Inline completion is visible but ghost text is not available

goto-definition-link

${this._labelService.getUriBasenameLabel(p.resource)}(${p.startLineNumber}, ${p.startColumn}): 

${i.getLineContent(e.startLineNumber)}, ${n}

call showAtMarker

codicon ${fUe.className(Ga.toSeverity(this._severity))}

Go to Next Problem (Error, Warning, Info)

Go to Problem at Cursor (Error, Warning, Info)

Go to Previous Problem (Error, Warning, Info)

Go to Next Problem in Files (Error, Warning, Info)

Go to Previous Problem in Files (Error, Warning, Info)

Developer: Debug Editor GPU Renderer

Developer: Debug Editor GPU Renderer

No texture atlas found

Texture atlas stats

Enter a character to draw (prefix with 0x for code point))

Show or Focus Hover

Show or focus the editor hover which shows documentation, references, and other content for a symbol at the current cursor position.

Controls if and when the hover should take focus upon being triggered by this action.

Show Definition Preview Hover

Show the definition preview hover in the editor.

Hide Hover

Hide Content Hover

Scroll Up Hover

Scroll up the editor hover.

Scroll Down Hover

Scroll down the editor hover.

Scroll Left Hover

Scroll left the editor hover.

Scroll Right Hover

Scroll right the editor hover.

Page Up Hover

Page up the editor hover.

Page Down Hover

Page down the editor hover.

Go To Top Hover

Go to the top of the editor hover.

Go To Bottom Hover

Go to the bottom of the editor hover.

Increase Hover Verbosity Level

Decrease Hover Verbosity Level

4px 8px

${p}+click to fix in new chat