Skip to content

hide-diff-signs - Fix ability to disable feature#9298

Merged
fregante merged 2 commits into
refined-github:mainfrom
kevinawoo:fix-hide-diff-signs
Apr 30, 2026
Merged

hide-diff-signs - Fix ability to disable feature#9298
fregante merged 2 commits into
refined-github:mainfrom
kevinawoo:fix-hide-diff-signs

Conversation

@kevinawoo
Copy link
Copy Markdown
Contributor

@kevinawoo kevinawoo commented Apr 29, 2026

Prior to this fix, users were not able to disable the feature hide diff signs. This fixes the ability to toggle this off via settings.

The .diff-text-marker is after the comma, it is a separate selector and is not protected by html:not([rgh-OFF-hide-diff-signs]). So React commit page diff markers are hidden unconditionally.

@github-actions github-actions Bot changed the title fix ability to disable hide-diff-signs fix ability to disable hide-diff-signs Apr 29, 2026
@SunsetTechuila
Copy link
Copy Markdown
Member

Thank you

@SunsetTechuila SunsetTechuila changed the title fix ability to disable hide-diff-signs hide-diff-signs - Fix ability to disable feature Apr 30, 2026
@fregante fregante merged commit 60ac73c into refined-github:main Apr 30, 2026
13 checks passed
@fregante
Copy link
Copy Markdown
Member

@kevinawoo thanks for the PR!

@fregante fregante mentioned this pull request Apr 30, 2026
@kevinawoo kevinawoo deleted the fix-hide-diff-signs branch April 30, 2026 10:36
Copilot AI pushed a commit that referenced this pull request Apr 30, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

3 participants