Hacker News new | ask | show | jobs
by ChrisSD 160 days ago
Huh, I've been using Zed for awhile now and never even noticed it until you mentioned it. Fortunately there's a setting to remove it.