mirror of
https://github.com/carbon-language/carbon-lang.git
synced 2026-11-15 21:08:10 +00:00
This re-adds the ability to put a space between the id type and number. In particular, when copy/pasting large hex-encoded id numbers that are retrieved from `p/x`, such as an array of InstIds, putting a space between allows faster editing. The space allows the previous command to be reused, and then to delete the id in a single key command.