maxmustermann/terminal

Fork 0

Commit graph

Author	SHA1	Message	Date
Dustin L. Howett	403b793179	Prepare for the primary branch name to change to main (#7985 )	2020-10-21 17:29:36 -07:00
Mike Griese	a34cfa4e78	Mini-spec for New Tab Menu Customization (#5888 ) * This is a mini-spec for how I see this working * good bot * These were some typos * Addd a future consideration about the command palette and commands * Update spec to reflect discussion with Carlos * update spec to reflect investigations in Command Palette Addenda 1 * add references to #6899, and minor bits of review feedback * add `remainingProfiles` as a way of adding all the user's other profiles quickly to the menu as well * clarify why we're not doing it in the profiles list * no two commits do not contain a misspelling of separate	2020-08-12 08:40:38 -05:00

Author

SHA1

Message

Date

Dustin L. Howett

403b793179

Prepare for the primary branch name to change to main (#7985 )

2020-10-21 17:29:36 -07:00

Mike Griese

a34cfa4e78

Mini-spec for New Tab Menu Customization (#5888 )

* This is a mini-spec for how I see this working

* good bot

* These were some typos

* Addd a future consideration about the command palette and commands

* Update spec to reflect discussion with Carlos

* update spec to reflect investigations in Command Palette Addenda 1

* add references to #6899, and minor bits of review feedback

* add `remainingProfiles` as a way of adding all the user's other profiles quickly to the menu as well

* clarify why we're not doing it in the profiles list

* no two commits do not contain a misspelling of separate

2020-08-12 08:40:38 -05:00

2 commits