Skip to content

fix(editor): change find/replace default to case-sensitive #433

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

Merged
pengfeixx merged 1 commit into from
Apr 13, 2026
+11 −11

fix(editor): change find/replace default to case-sensitive

9b46fcf
Select commit
Loading
Failed to load commit list.
Merged

fix(editor): change find/replace default to case-sensitive #433

fix(editor): change find/replace default to case-sensitive
9b46fcf
Select commit
Loading
Failed to load commit list.
Sourcery AI / Sourcery review skipped Apr 13, 2026 in 0s

⏭️ Skipped

Sorry @pengfeixx, you have reached your weekly rate limit of 500000 diff characters.

Please try again later or upgrade to continue using Sourcery

View more details on Sourcery AI