Code

git-gui: Allow the user to change the diff viewer font size.
authorShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 02:14:28 +0000 (21:14 -0500)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 12 Nov 2006 05:16:04 +0000 (00:16 -0500)
commit2c26e6f5279286aa844a54363d877acffb4a4310
treef29515a40086eda3a9671d1dd52d947ec1db2b64
parentf019c96add051aa9265c3dba8940c29f307aae81
git-gui: Allow the user to change the diff viewer font size.

Because the diff area is one of the most important areas to be able to
read users should be able to increase or decrease the size of the font
used within that area.

Currently we save that back to the global configuration, even if it
may have originated from the local repository configuration.  This
is probably going to be considered to be a bug by at least one user
who wants some sort of different font within a given repository, but
I'm just going to ignore the problem for now.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui