author | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 12 Nov 2006 02:02:37 +0000 (21:02 -0500) | ||
committer | Shawn O. Pearce <spearce@spearce.org> | |
Sun, 12 Nov 2006 05:16:04 +0000 (00:16 -0500) | ||
commit | f019c96add051aa9265c3dba8940c29f307aae81 | |
tree | 17f0d4b16b226d9db6972f30ba14eb59ee00bf65 | tree | snapshot |
parent | 058803f400d8bbd72aa8b8584e9a6e93dbd17d54 | commit | diff |
git-gui: Honor system font and let user configure fonts.
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>
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>
git-gui | diff | blob | history |