]> asedeno.scripts.mit.edu Git - git.git/commitdiff
git-gui: Display the directory basename in the title
authorShawn O. Pearce <spearce@spearce.org>
Sat, 14 Apr 2007 19:10:48 +0000 (15:10 -0400)
committerShawn O. Pearce <spearce@spearce.org>
Sun, 15 Apr 2007 04:35:13 +0000 (00:35 -0400)
By showing the basename of the directory very early in the
title bar I can more easily locate a particular git-gui
session when I have 8 open at once and my  Windows taskbar
is overflowing with items.

Signed-off-by: Shawn O. Pearce <spearce@spearce.org>
git-gui.sh

index ef5960cdaf66ac559c01cfa695d8bf5e8d441a20..94067cc5f73388f33722d52ae02f44692bc07490 100755 (executable)
@@ -5968,7 +5968,7 @@ unset i
 set file_lists($ui_index) [list]
 set file_lists($ui_workdir) [list]
 
-wm title . "[appname] ([file normalize [file dirname [gitdir]]])"
+wm title . "[appname] ([reponame]) [file normalize [file dirname [gitdir]]]"
 focus -force $ui_comm
 
 # -- Warn the user about environmental problems.  Cygwin's Tcl