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

Moving the color gutter to right #1963

Merged
merged 3 commits into from
Dec 1, 2024
Merged

Moving the color gutter to right #1963

merged 3 commits into from
Dec 1, 2024

Conversation

abose
Copy link
Member

@abose abose commented Dec 1, 2024

  1. Refactor to not use cm gutter apis directly and use editor gutter apis
  2. code folding gutter set its width to 1.1em above gutter width of 1em. this caused the gutter to render over the left most indent line or even cursor at the beginning of the line at certain sidebar widths! Note that this appears only at certain sidebar width and doesnt come in the default sidebar width. This is an issue in all existing builds. See image:

before fix

image

with fix

image

  1. Address layout issues in the color gutter.

Copy link

sonarqubecloud bot commented Dec 1, 2024

@abose abose merged commit 245b3a6 into main Dec 1, 2024
17 checks passed
@abose abose deleted the x branch December 1, 2024 14:40
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.

1 participant