commit | 6c2833284d84d1128f44dbfd846c81ef93f07a3c | [log] [tgz] |
---|---|---|
author | Doug Maxey <dwm@bebe.enoyolf.org> | Sun Dec 10 14:31:46 2006 -0600 |
committer | Paul Mackerras <paulus@samba.org> | Sat Jan 13 16:15:09 2007 +1100 |
tree | 698cf208596c1eeee2b1733d988d88718bc26800 | |
parent | 3cd204e518ce832402c291be73292baa149d0240 [diff] [blame] |
[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>
diff --git a/gitk b/gitk index 3dabc69..33bac1f 100755 --- a/gitk +++ b/gitk
@@ -6293,6 +6293,7 @@ set patchnum 0 setcoords makewindow +wm title . "[file tail $argv0]: [file tail [pwd]]" readrefs if {$cmdline_files ne {} || $revtreeargs ne {}} {