зеркало из https://github.com/microsoft/git.git
git-gui: Automatically expand the line number column as needed
After we finish reading a chunk of data from the file stream we know how many digits we need in the line number column to show the current maximum line number. If our line number column isn't wide enough, we should expand it out to the correct width. Any file over our default allowance of 5 digits (99,999 lines) is so large that the slight UI "glitch" when we widen the column out is trivial compared to the time it will take Git to fully do the annotations. Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
This commit is contained in:
Родитель
375e1365a6
Коммит
81fb7efeda
|
@ -422,12 +422,19 @@ method _read_file {fd} {
|
|||
$w_line insert end "$total_lines" linenumber
|
||||
$w_file insert end "$line"
|
||||
}
|
||||
|
||||
set ln_wc [expr {[string length $total_lines] + 2}]
|
||||
if {[$w_line cget -width] < $ln_wc} {
|
||||
$w_line conf -width $ln_wc
|
||||
}
|
||||
|
||||
$w_cgrp conf -state disabled
|
||||
$w_line conf -state disabled
|
||||
$w_file conf -state disabled
|
||||
|
||||
if {[eof $fd]} {
|
||||
close $fd
|
||||
|
||||
_status $this
|
||||
set cmd {nice git blame -M -C --incremental}
|
||||
if {$commit eq {}} {
|
||||
|
|
Загрузка…
Ссылка в новой задаче