diff options
author | Doug Maxey <dwm@bebe.enoyolf.org> | 2006-12-10 14:31:46 -0600 |
---|---|---|
committer | Paul Mackerras <paulus@samba.org> | 2007-01-13 16:15:09 +1100 |
commit | 6c2833284d84d1128f44dbfd846c81ef93f07a3c (patch) | |
tree | 698cf208596c1eeee2b1733d988d88718bc26800 | |
parent | 3cd204e518ce832402c291be73292baa149d0240 (diff) | |
download | git-6c2833284d84d1128f44dbfd846c81ef93f07a3c.tar.gz git-6c2833284d84d1128f44dbfd846c81ef93f07a3c.tar.xz |
[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>
-rwxr-xr-x | gitk | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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 {}} { |