mirror of
https://github.com/git/git.git
synced 2024-11-18 03:03:55 +01:00
git-gui: Make the line number column slightly wider in blame
Most source code files are under 9,999 lines of text, so using a field width of 5 characters meant that we should have had one char padding on the left edge (because we right-justify the line number). Unfortunately when I added the right margin earlier (when I removed the padding) I ate into the extra character's space, losing the left margin. This put the line numbers too close to the commit column in any file with more than 999 lines in it. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
parent
000a10696c
commit
375e1365a6
@ -122,7 +122,7 @@ constructor new {i_commit i_path} {
|
||||
-state disabled \
|
||||
-wrap none \
|
||||
-height 40 \
|
||||
-width 5 \
|
||||
-width 6 \
|
||||
-font font_diff
|
||||
$w_line tag conf linenumber -justify right -rmargin 5
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user