This adds João's nice suggestion from https://github.com/zed-industries/zed/pull/31818#discussion_r2118582616. Release Notes: - N/A --------- Co-authored-by: João Marcos <marcospb19@hotmail.com>
This adds João's nice suggestion from https://github.com/zed-industries/zed/pull/31818#discussion_r2118582616. Release Notes: - N/A --------- Co-authored-by: João Marcos <marcospb19@hotmail.com>