🤖 fix: remove extra diff padding#621

Merged

ammario merged 1 commit intomainfrom

fix-diff-viewer-padding

Nov 16, 2025

Commits on Nov 15, 2025

🤖 fix: hide diff padding when no overflow
ammar-agent
committed