mirror of
https://github.com/git/git.git
synced 2025-04-12 03:42:08 +00:00
f019c96add
Rather than hardcoding our fonts to something that I thought was reasonable, guess font_ui off the font used by the system in the menu bar. This way the application conforms by default to whatever the user's desktop is setup to. We also now let the user supply font configuration through their repository configuration as gui.fontui (the overall UI font) and gui.fontdiff (the font used for the diff viewer). Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
Description
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documentation/SubmittingPatches procedure for any of your improvements.
829 MiB
Languages
C
50.1%
Shell
38.4%
Perl
5.1%
Tcl
3.2%
Python
0.8%
Other
2.1%