Code

git-gui: Honor system font and let user configure fonts.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 02:02:37 +0000 (21:02 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 05:16:04 +0000 (00:16 -0500)
commitf019c96add051aa9265c3dba8940c29f307aae81
tree17f0d4b16b226d9db6972f30ba14eb59ee00bf65
parent058803f400d8bbd72aa8b8584e9a6e93dbd17d54
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>
git-gui