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

[terminal] add preference to control terminal scrollback #5783

Merged
merged 1 commit into from
Aug 13, 2019

Conversation

vince-fugnitto
Copy link
Member

@vince-fugnitto vince-fugnitto commented Jul 23, 2019

What it does

Fixes #5781

  • added new preference terminal.integrated.scrollback to control the number of lines the terminal keeps in its buffer
  • aligned the values, description and id with vscode

How to test

  1. use the terminal.integrated.scrollback preference to test different values of scrollback (lines the terminal keeps in its buffer)

Review checklist

Reminder for reviewers

Signed-off-by: Vincent Fugnitto vincent.fugnitto@ericsson.com

@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves terminal issues related to the terminal labels Jul 23, 2019
@vince-fugnitto vince-fugnitto self-assigned this Jul 23, 2019
@AndrienkoAleksandr
Copy link
Contributor

Tested, works fine.

Fixes #5781

- added new preference `terminal.integrated.scrollback` to control
the number of lines the terminal keeps in its buffer
- aligned the `values`, `description` and `id` with vscode

Signed-off-by: Vincent Fugnitto <vincent.fugnitto@ericsson.com>
@vince-fugnitto
Copy link
Member Author

CQ has finally been approved. I'll rebase the PR and perform testing before merging.

@vince-fugnitto
Copy link
Member Author

Confirmed the PR still works correctly, I'll proceed with the merge.

@vince-fugnitto vince-fugnitto merged commit 6b98792 into master Aug 13, 2019
@vince-fugnitto vince-fugnitto deleted the vf/GH-5781 branch August 13, 2019 22:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement issues that are enhancements to current functionality - nice to haves terminal issues related to the terminal
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Add configuration for number of scrollback line in terminal
2 participants