Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mention history in terminal persistence settings #152114

Merged
merged 1 commit into from
Jun 15, 2022
Merged

Mention history in terminal persistence settings #152114

merged 1 commit into from
Jun 15, 2022

Conversation

Tyriar
Copy link
Member

@Tyriar Tyriar commented Jun 14, 2022

Fixes #152087

@Tyriar Tyriar added this to the June 2022 milestone Jun 14, 2022
@Tyriar Tyriar requested a review from meganrogge June 14, 2022 20:48
@Tyriar Tyriar self-assigned this Jun 14, 2022
@Tyriar Tyriar enabled auto-merge June 14, 2022 21:49
@Tyriar Tyriar merged commit 2455323 into main Jun 15, 2022
@Tyriar Tyriar deleted the tyriar/152087 branch June 15, 2022 01:02
justschen pushed a commit to justschen/vscode that referenced this pull request Jun 16, 2022
Mention history in terminal persistence settings
justschen pushed a commit to justschen/vscode that referenced this pull request Jun 16, 2022
Mention history in terminal persistence settings
@github-actions github-actions bot locked and limited conversation to collaborators Jul 30, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Show terminal persistent sessions setting when searching for "history"
2 participants