ui bug fix

Verdict: install Zed 1.7.2 now only if you use Zed on macOS and have been hit by the settings window drag problem or the workspace error popup close-button glitch. Everyone else should put this release into one of three buckets: install now for affected macOS preview users, test first for mixed...