![]() <img width="1728" alt="image" src="https://github.com/user-attachments/assets/a63925a7-8e13-4d48-bd31-33f434209ea6" /> Diagnostics UI elements (underlines, popovers, hovers) are quite noisy by themselves and get even more so with the git background colors. Release Notes: - Stopped showing diagnostics in the diff-related editors |
||
---|---|---|
.. | ||
askpass_modal.rs | ||
blame_ui.rs | ||
branch_picker.rs | ||
commit_message_prompt.txt | ||
commit_modal.rs | ||
commit_tooltip.rs | ||
commit_view.rs | ||
conflict_view.rs | ||
diff_view.rs | ||
git_panel.rs | ||
git_panel_settings.rs | ||
git_ui.rs | ||
onboarding.rs | ||
picker_prompt.rs | ||
project_diff.rs | ||
remote_output.rs | ||
repository_selector.rs |