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: additional preferences to control xterm options #7284

Merged
merged 1 commit into from
Mar 10, 2020

Conversation

vince-fugnitto
Copy link
Member

What it does

This commit adds additional preferences to control the options passed to xterm.
The commit includes the following new preferences:

  • terminal.integrated.drawBoldTextInBrightColors
  • terminal.integrated.fastScrollSensitivity
  • terminal.integrated.cursorBlinking
  • terminal.integrated.cursorStyle
  • terminal.integrated.cursorWidth

How to test

For each test, use a terminal to verify the changes:

terminal.integrated.drawBoldTextInBrightColors

Description
Controls whether to draw bold text in bright colors (notice the configs folder).

True
image

False
image

terminal.integrated.fastScrollSensitivity

Description
Controls the fast scrolling speed.

Test Case

Update the value, and verify the changes by scrolling while pressing alt.
The higher the value the faster the scroll.

terminal.integrated.cursorBlinking

Description
Controls whether the cursor blinks.

Test Case

Update the value, and verify the changes (the cursor should blink when set to true)

terminal.integrated.cursorStyle

Description
Controls the style of the terminal cursor.

Block

image

Bar

image

Underline

image

terminal.integrated.cursorWidth

Description
Controls the cursor width when set to 'line'

1

image

10

image

Review checklist

Reminder for reviewers

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

@vince-fugnitto vince-fugnitto added the terminal issues related to the terminal label Mar 5, 2020
@vince-fugnitto vince-fugnitto self-assigned this Mar 5, 2020
Copy link
Contributor

@elaihau elaihau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tested on Gitpod. Could you please kindly explain how to let the terminal display bold texts, so that i can test drawBoldTextInBrightColors ?

@vince-fugnitto
Copy link
Member Author

Tested on Gitpod. Could you please kindly explain how to let the terminal display bold texts, so that i can test drawBoldTextInBrightColors ?

You can try the command ls -al (directories will be listed in bold):

False

Screen Shot 2020-03-08 at 7 17 16 PM

True

Screen Shot 2020-03-08 at 7 18 33 PM

This commit adds additional `preferences` to control the options passed to `xterm`.
The commit includes the following new preferences:
- `terminal.integrated.drawBoldTextInBrightColors`
- `terminal.integrated.fastScrollSensitivity`
- `terminal.integrated.cursorBlinking`
- `terminal.integrated.cursorStyle`
- `terminal.integrated.cursorWidth`

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

@elaihau elaihau left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I tested all 5 new prefs in gitpod. all worked properly.

Thank you for the work !

Copy link
Contributor

@AndrienkoAleksandr AndrienkoAleksandr left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed and tested. Looks good, works well. Sorry for delay. Very good contribution!

@vince-fugnitto
Copy link
Member Author

Thank you for the review @elaihau @AndrienkoAleksandr :)

@vince-fugnitto vince-fugnitto merged commit d0e00c5 into master Mar 10, 2020
@vince-fugnitto vince-fugnitto deleted the vf/terminal-opts branch March 10, 2020 12:21
@ghost ghost mentioned this pull request Mar 12, 2020
2 tasks
@ghost
Copy link

ghost commented Mar 12, 2020

@vince-fugnitto and @akosyakov, Can you please review and merge #7331? I just improved the message formatting!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
terminal issues related to the terminal
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants