diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2006-05-30 03:31:32 +0400 |
|---|---|---|
| committer | Junio C Hamano <junkio@cox.net> | 2006-05-30 10:14:44 +0400 |
| commit | 2be1bc48ffe04d97ca61e2b7988e6870cd37766b (patch) | |
| tree | 492fd2cc7f7e1b78f90190a661818c4c498f574e /Documentation | |
| parent | 7872b1889550ce8c1cd452fb18445bd6ea6e8fed (diff) | |
documentation: mention gitk font adjustment in tutorial
Kind of silly, but the font I get by default in gitk makes it mostly
unusable for me, so this is the first thing I'd want to know about.
(But maybe there's a better suggestion than just Ctrl-='ing until
satisfied.)
Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation')
| -rw-r--r-- | Documentation/tutorial.txt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Documentation/tutorial.txt b/Documentation/tutorial.txt index 79781adf4f..5fdeab9833 100644 --- a/Documentation/tutorial.txt +++ b/Documentation/tutorial.txt @@ -429,7 +429,9 @@ $ gitk --since="2 weeks ago" drivers/ ------------------------------------- allows you to browse any commits from the last 2 weeks of commits -that modified files under the "drivers" directory. +that modified files under the "drivers" directory. (Note: you can +adjust gitk's fonts by holding down the control key while pressing +"-" or "+".) Finally, most commands that take filenames will optionally allow you to precede any filename by a commit, to specify a particular version |