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

monaco: fix gutter size due to lineNumbers #9168

Merged
merged 1 commit into from
Mar 11, 2021
Merged

Conversation

vince-fugnitto
Copy link
Member

What it does

Fixes: #5397

The following commit updates the default lineNumbersMinChars similarly to vscode in order to produce a more appropriate gutter size (lineNumber size) in the editor. Reducing the size means that we can improve the readability of the code rather than have excessive gutters.

vscode reference.

Master Pull-Request
Screen Shot 2021-03-09 at 3 20 58 PM Screen Shot 2021-03-09 at 3 27 47 PM

How to test

  1. start the application, and open a ts file
  2. add breakpoints
  3. noticed the reduced gutter-size and that the breakpoints are still correctly displayed

Review checklist

Reminder for reviewers

Signed-off-by: vince-fugnitto [email protected]

@vince-fugnitto vince-fugnitto added editor issues related to the editor monaco issues related to monaco ui/ux issues related to user interface / user experience labels Mar 9, 2021
@vince-fugnitto vince-fugnitto self-assigned this Mar 9, 2021
The following commit updates the default `lineNumbersMinChars` similarly to vscode in order
to produce a more appropriate gutter size (lineNumber size) in the editor. Reducing the size
means that we can improve the readability of the code rather than have excessive gutters.

Signed-off-by: vince-fugnitto <[email protected]>
Copy link
Contributor

@RomanNikitenko RomanNikitenko left a comment

Choose a reason for hiding this comment

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

Tested, the new gutter size looks better for me!
gutter_size

Copy link
Contributor

@DucNgn DucNgn left a comment

Choose a reason for hiding this comment

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

I verified the issue on master and confirm this PR fixes the issue. The gutter size looks reasonable now. 👍

@vince-fugnitto vince-fugnitto merged commit 3bef155 into master Mar 11, 2021
@vince-fugnitto vince-fugnitto deleted the vf/editor-gutter branch March 11, 2021 14:55
@github-actions github-actions bot added this to the 1.12.0 milestone Mar 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
editor issues related to the editor monaco issues related to monaco ui/ux issues related to user interface / user experience
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[editor] reduce gutter space
3 participants