Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Adjustable diff font size #1859
Description of the Change
This PR makes the font size of diffs adjustable based on Atom's editor config. The header font size is set by the UI themes.
Users can change the font size of diffs in Atom's settings.
Some might have a different preference.
User Experience Research (Optional)
@@ Coverage Diff @@ ## master #1859 +/- ## ========================================== + Coverage 91.15% 91.19% +0.03% ========================================== Files 196 196 Lines 10745 10745 Branches 1575 1575 ========================================== + Hits 9795 9799 +4 + Misses 950 946 -4