starred/terminal
1
0
Fork 0
mirror of https://github.com/microsoft/terminal.git synced 2026-05-19 21:41:15 +00:00
Code Issues 19.0k Packages Projects Releases 20 Wiki Activity

Add profiles to the Jumplist (#7515)

Browse Source 
This commit introduces Jumplist customization and an item for each
profile to the Jumplist. Selecting an entry in the jumplist will pretty
much just execute  `wt.exe -p "{profile guid}"`, and so a new Terminal
will open with the selected profile.

Closes #576
This commit is contained in:
Leon Liang
2020-09-03 16:35:41 -07:00
committed by GitHub
parent 97c2ccf08b
commit 9279b7a73d
6 changed files with 168 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
.github/actions/spell-check/dictionary/microsoft.txt vendored
View File

@@ -18,6 +18,7 @@ pgo
pgosweep
powerrename
powershell
propkey
pscustomobject
robocopy
SACLs