mirror of
https://github.com/git/git.git
synced 2025-03-24 03:29:47 +00:00
[PATCH] gitk: add current directory to main window title
This can help people keep track of which gitk is which, when they have several on the screen. Signed-off-by: Doug Maxey <dwm@enoyolf.org> Signed-off-by: Paul Mackerras <paulus@samba.org>
This commit is contained in:
parent
3cd204e518
commit
6c2833284d
1
gitk
1
gitk
@ -6293,6 +6293,7 @@ set stuffsaved 0
|
||||
set patchnum 0
|
||||
setcoords
|
||||
makewindow
|
||||
wm title . "[file tail $argv0]: [file tail [pwd]]"
|
||||
readrefs
|
||||
|
||||
if {$cmdline_files ne {} || $revtreeargs ne {}} {
|
||||
|
Loading…
x
Reference in New Issue
Block a user