mirrors/git
1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-11-05 00:37:55 +01:00
Code Activity
Mirror of https://github.com/git/git
57 commits 6 branches 956 tags 490 MiB
C 50.3%
Shell 38.6%
Perl 5.2%
Tcl 3.3%
Python 0.8%
Other 1.6%
Find a file
Shawn O. Pearce 2c26e6f527 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>
2006-11-12 00:16:04 -05:00
git-citool git-gui: Finished commit implementation. 2006-11-07 03:05:17 -05:00
git-gui git-gui: Allow the user to change the diff viewer font size. 2006-11-12 00:16:04 -05:00
TODO git-gui: Updated TODO list now that geometry is stored. 2006-11-12 00:16:00 -05:00