Skip to content

fix: center active search match in CodeMirror viewport#7918

Open
DevRajah wants to merge 1 commit intousebruno:mainfrom
DevRajah:fix-json-search-result-position
Open

fix: center active search match in CodeMirror viewport#7918
DevRajah wants to merge 1 commit intousebruno:mainfrom
DevRajah:fix-json-search-result-position

Commits

Commits on May 5, 2026