|
|
|
|
|
by coder543
486 days ago
|
|
It doesn't seem like the issue has been entirely ignored: https://github.com/zed-industries/zed/issues/7992#issuecomme... Out of the 55,000 people who have starred the repo (and countless others who have downloaded Zed without starring the repo), only 184 people have upvoted that issue. In any project, issues have to be triaged. If someone contributed a fix, the Zed team would likely be interested in merging that... the current attempt does not seem to have fixed it to the satisfaction of the commenters. To put priorities into perspective, issue 7992 appears to be in about 20th place on the list of most-upvoted open issues on the tracker. |
|