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.

Sign up for GitHub

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

Jump to bottom

Add some right padding to the folding icon #96556

Closed
sandy081 opened this issue Apr 29, 2020 · 2 comments
Closed

Add some right padding to the folding icon #96556

sandy081 opened this issue Apr 29, 2020 · 2 comments
Assignees
@rebornix @miguelsolorio
Labels
bug Issue identified by VS Code Team member as probable bug *duplicate Issue identified as a duplicate of another issue(s) editor-folding Editor code folding issues polish Cleanup and polish issue
Milestone
July 2020

Comments

@sandy081
Copy link
Member

#96279

image
@rebornix rebornix added polish Cleanup and polish issue editor-folding Editor code folding issues labels Apr 29, 2020
@rebornix rebornix added this to the May 2020 milestone Apr 29, 2020
@rebornix
Copy link
Member

This is what Monaco Editor looks like when the line numbers and gutter areas are hidden. We may want to tweak the CSS for this case cc @misolori

@aeschli aeschli assigned miguelsolorio and unassigned aeschli May 1, 2020
@rebornix rebornix modified the milestones: May 2020, June 2020 Jun 1, 2020
@miguelsolorio miguelsolorio modified the milestones: June 2020, July 2020 Jun 29, 2020
@rebornix rebornix added *duplicate Issue identified as a duplicate of another issue(s) bug Issue identified by VS Code Team member as probable bug labels Aug 6, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Sep 21, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@rebornix rebornix

@miguelsolorio miguelsolorio

Labels
bug Issue identified by VS Code Team member as probable bug *duplicate Issue identified as a duplicate of another issue(s) editor-folding Editor code folding issues polish Cleanup and polish issue
Projects
None yet
Milestone
July 2020
Development

No branches or pull requests
5 participants
@rebornix @aeschli @sandy081 @miguelsolorio and others