Update diff editor font size when agent_font_size setting changes (#35834)

Release Notes:

- N/A
a1080a0411Cole Miller committed on 8/7/2025, 9:31:30 PM· committed by GitHubparent7679db9
1 file changedLine totals unavailable