This repository has no description
Something went wrong. Try again.
terminal: fix stale cursor pin usage after cursorChangePin (#10348) master
Fixes #10282 The function `cursorChangePin` is supposed to be called anytime the cursor page pin changes, but it itself may alter the page pin if setting up the underlying managed memory forces a page size adjustment. Multiple callers to this function were erroneously reusing the old page pin value. **AI disclosure:** I had Amp help me write the test. I eyeballed and found the bug myself, verified it by asking Amp to write the test, reviewed that manually, then implemented the fixes manually and got it to pass.
Author Mitchell Hashimoto Committer GitHub Date (Jan 16, 2026, 9:03 PM UTC) Commit c8295815 c8295815cbc7e161bcfe75a5b6232c97cdc735db Parent 204170d0 204170d0520ccb712ccdec7600e98f9450feea77