Update Codicons: Add terminal icons

27e4b9b87e
This commit is contained in:
Miguel Solorio 2021-04-06 10:24:39 -07:00
parent c7faaf0ea0
commit 0e7d1610f3
No known key found for this signature in database
GPG key ID: A5342845DD37B397
2 changed files with 5 additions and 0 deletions

View file

@ -551,6 +551,11 @@ export namespace Codicon {
export const workspaceTrusted = new Codicon('workspace-trusted', { fontCharacter: '\\ebc1' });
export const workspaceUntrusted = new Codicon('workspace-untrusted', { fontCharacter: '\\ebc2' });
export const workspaceUnspecified = new Codicon('workspace-unspecified', { fontCharacter: '\\ebc3' });
export const terminalCmd = new Codicon('terminal-cmd', { fontCharacter: '\\ebc4' });
export const terminalDebian = new Codicon('terminal-debian', { fontCharacter: '\\f101' });
export const terminalLinux = new Codicon('terminal-linux', { fontCharacter: '\\ebc6' });
export const terminalPowershell = new Codicon('terminal-powershell', { fontCharacter: '\\ebc7' });
export const terminalTmux = new Codicon('terminal-tmux', { fontCharacter: '\\ebc8' });
export const dropDownButton = new Codicon('drop-down-button', Codicon.chevronDown.definition);
}