[codex] Sync extension marks before hover frames render#4590
Draft
xuefei1313 wants to merge 1 commit into
Draft
GitHub Advanced Security / CodeQL
succeeded
May 25, 2026 in 2s
No new alerts in code changed by this pull request
Loading