Skip to content

Conversation

ViscousPot
Copy link

@ViscousPot ViscousPot commented Aug 6, 2025

What type of PR is this?

  • 🛠 Enhancement

Description

Apologies, it looks like this branch was based on the one for this #307

Improved the gutter items to be automatically calculated instead of hard coded
The line numbers, errors and folding handles all take up only the space they need now

Added tests?

  • 🙅 no, because they aren't needed

Added to documentation?

  • 🙅 No documentation needed

@nausharipov
Copy link
Collaborator

@ViscousPot hello, thank you for your contribution. Which one of the 2 PRs do you want to be merged?

@ViscousPot
Copy link
Author

@ViscousPot hello, thank you for your contribution. Which one of the 2 PRs do you want to be merged?

Hi! Both please. But #307 first, because I seem to have left this based on that 🙏🏾

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

Successfully merging this pull request may close these issues.

2 participants