workbench.desktop.main.js · part 430

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

File contents and all parts · All files

Importing Profile (${t.name}): Failed to merge ignored settings. Applying raw settings content.

Importing Profile (${t.name}): No keybindings to apply...

SnippetsResource: Ignoring snippet with key '${i}' as it escapes the snippets folder.

Importing Profile (${t.name}): No tasks to apply...

[storageIpc] BaseStorageDatabaseClient.cursorDiskKVGet: ${e}

[storage] Item exceeds IPC threshold: key="${h[0].substring(0,100)}..." size=${p.toLocaleString()} bytes

profile storage changes

Importing Profile (${t.name}): Enabling extension...

Importing Profile (${t.name}): Enabled extension...

Importing Profile (${t.name}): Disabling extension...

Importing Profile (${t.name}): Disabled extension...

Importing Profile (${t.name}): Started installing extensions.

Importing Profile (${t.name}): Skipped installing extension because it was not found in the gallery.

Importing Profile (${t.name}): Skipped installing extension because it cannot be installed.

Importing Profile (${t.name}): Finished installing extensions.

${n} ${dmp(t)}

Importing Profile (${t.name}): Ignoring global state key '${s}' because it is not a profile key.

file not found

file is directory

file not found

file exists already

file not found

No file with that descriptor open

No file with that descriptor open

file exists already

file exists already

file not found

file not a directory

file is a directory

Profile content handler with id '${e}' already registered.

Create Profile: failed while creating from existing profile

Create Profile: failed while applying imported profile template

Failed to get profile from URL: ${e.toString()}. Status code: ${t.res.statusCode}. Message: ${n}

${i} ${this.getProfileNameIndex(i)}

Profile ${e.name} does not exist

Profile ${e.name} does not exist

Profile ${e.name} does not exist

Could not get profile templates.

Remote profiles service not available in the current window

Remote profiles service not available in the current window

refreshProperty is not suppported in EmbedderTerminalProcess. property: ${e}

updateProperty is not suppported in EmbedderTerminalProcess. property: ${e}, value: ${t}

View visibility state changed: ${i} is now visible

Unknown view ${e}

Showing view ${e.viewDescriptor.id} in the container ${this.viewContainer.id}

Added view ${s.id} in the container ${this.viewContainer.id} and showing it.

Added views:${e.map(t=>t.viewDescriptor.id).join(",")} in ${this.viewContainer.id}

Removed views:${e.map(t=>t.viewDescriptor.id).join(",")} from ${this.viewContainer.id}

Moved view ${e.viewDescriptor.id} to ${t.viewDescriptor.id} in ${this.viewContainer.id}

view descriptor ${e} not found

moveViewContainerToLocation: viewContainer:${e.id} location:${t} reason:${i}

moveViewToLocation: view:${e.id} location:${t} reason:${n}

moveViewsToContainer: views:${e.map(o=>o.id).join(",")} viewContainer:${t.id} reason:${i}

User View Container

Toggles the visibility of the {0} view if the view container it is located in is visible

Hides the {0} view if it is visible and the view container it is located in is visible

Reset Location

${e.saneAriaLabel}, ${e.separator.label}

quick-input-list-icon ${r.iconClass}

min(32vh, ${P$r}px)