diff options
| author | Shawn O. Pearce <spearce@spearce.org> | 2007-04-14 15:10:48 -0400 |
|---|---|---|
| committer | Shawn O. Pearce <spearce@spearce.org> | 2007-04-15 00:35:13 -0400 |
| commit | 19c821487b28f56180290aa7d1f30e6bd5316225 (patch) | |
| tree | 1d797fe5d9faf7134f38919ae39f7e5a84b48123 | |
| parent | d025d1e322c715ecf7fa7c10ce9e6b4a1be982d0 (diff) | |
| download | git-19c821487b28f56180290aa7d1f30e6bd5316225.tar.gz | |
git-gui: Display the directory basename in the title
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>
| -rwxr-xr-x | git-gui.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index ef5960cdaf..94067cc5f7 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -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 |