Follow-up of https://github.com/zed-industries/zed/pull/11710 Release Notes: - Removed extra line highlights when deleted diff editors loose focus
Follow-up of https://github.com/zed-industries/zed/pull/11710 Release Notes: - Removed extra line highlights when deleted diff editors loose focus