workbench.desktop.main.js · part 312

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

File contents and all parts · All files

Resize Terminal Right

Resize Terminal Up

Resize Terminal Down

Focus Terminal Tabs View

Focus Next Terminal Group

Focus Previous Terminal Group

Run Selected Text In Active Terminal

Run Active File In Active Terminal

Scroll Down (Line)

Scroll Down (Page)

Scroll to Bottom

Scroll Up (Line)

Scroll Up (Page)

Scroll to Top

Clear Selection

Detach Session

Attach to Session

No backend registered for remote authority '${a}'

${g.workspaceName} ⸱ ${f}

Select to Previous Command

Select to Next Command

Select to Previous Line

Select to Next Line

Relaunch Active Terminal

Join Terminals

Join Terminals...

$(${Kwo(n,l)}): ${l.title}

Split Terminal (In Active Workspace)

Select All

Create New Terminal

Kill the Active Terminal Instance

Kill All Terminals

Kill the Active Terminal in Editor Area

Select Default Profile

Configure Terminal Settings

Set Fixed Dimensions

Switch Terminal

No profile with name "${c}"

Unmatched terminal item: "${r}"

Create New Terminal (With Profile)

workbench.action.terminal.newWithProfile

Could not find terminal profile "${i.profileName}"

use strict

use strict

cannot set instance that has already been set

use strict

use strict

use strict

use strict

Could not resolve terminal cwd

& '${a.replace(/'/g,"''")}'

use strict

use strict

use strict

10px 15px

Insufficient width

Invalid index ${t}

use strict

use strict

use strict