Skip to content

fix: align fold gutter markers#422

Merged
amareshsm merged 1 commit into
mainfrom
fix/fold-gutter-markers
May 18, 2026
Merged

fix: align fold gutter markers#422
amareshsm merged 1 commit into
mainfrom
fix/fold-gutter-markers

Conversation

@Pixel998
Copy link
Copy Markdown
Contributor

Prerequisites checklist

AI acknowledgment

  • I did not use AI to generate this PR.
  • (If the above is not checked) I have reviewed the AI-generated content before submitting.

What is the purpose of this pull request?

This PR fixes the fold/unfold marker alignment in the CodeMirror gutter. The default unfolded marker was visually off-center next to the line number, so this updates the marker glyphs to use better-aligned triangle characters.

What changes did you make? (Give an overview)

  • Added a custom CodeMirror foldGutter extension using for folded lines and for unfolded lines.
  • Disabled the default fold gutter from basicSetup to avoid rendering duplicate fold controls.

Related Issues

Is there anything you'd like reviewers to focus on?

@eslint-github-bot eslint-github-bot Bot added the bug Something isn't working label May 18, 2026
@netlify
Copy link
Copy Markdown

netlify Bot commented May 18, 2026

Deploy Preview for eslint-code-explorer ready!

Name Link
🔨 Latest commit 6896cb7
🔍 Latest deploy log https://app.netlify.com/projects/eslint-code-explorer/deploys/6a0af10f218e3500085f8387
😎 Deploy Preview https://deploy-preview-422--eslint-code-explorer.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.
🤖 Make changes Run an agent on this branch

To edit notification comments on pull requests, go to your Netlify project configuration.

@eslintbot eslintbot added this to Triage May 18, 2026
@github-project-automation github-project-automation Bot moved this to Needs Triage in Triage May 18, 2026
Copy link
Copy Markdown
Member

@amareshsm amareshsm left a comment

Choose a reason for hiding this comment

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

LGTM

@amareshsm amareshsm added the accepted There is consensus among the team that this change meets the criteria for inclusion label May 18, 2026
@amareshsm amareshsm merged commit ef5285f into main May 18, 2026
10 checks passed
@github-project-automation github-project-automation Bot moved this from Needs Triage to Complete in Triage May 18, 2026
@amareshsm amareshsm deleted the fix/fold-gutter-markers branch May 18, 2026 11:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

accepted There is consensus among the team that this change meets the criteria for inclusion bug Something isn't working

Projects

Status: Complete

Development

Successfully merging this pull request may close these issues.

3 participants