diff options
| author | Samuel Bronson <naesten@gmail.com> | 2011-12-07 12:48:04 +0000 |
|---|---|---|
| committer | Pat Thoyts <patthoyts@users.sourceforge.net> | 2011-12-07 12:48:34 +0000 |
| commit | 215d4fdbaa9d32459cc199667970dc7f63d94982 (patch) | |
| tree | 8f067a4cc9125a3fbfedf881c0b0f81bcd248a41 | |
| parent | af867683345838f1adc606618e873ae4387a3c81 (diff) | |
| download | git-215d4fdbaa9d32459cc199667970dc7f63d94982.tar.gz git-215d4fdbaa9d32459cc199667970dc7f63d94982.tar.xz | |
git-gui: Set both 16x16 and 32x32 icons on X to pacify Xming.
It would be better if the 32x32 icon was equivalent to the one used on
Windows (in git-gui.ico), but I'm not sure how that would best be done,
so I copied this code from gitk instead.
Signed-off-by: Samuel Bronson <naesten@gmail.com>
Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>
| -rwxr-xr-x | git-gui.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/git-gui.sh b/git-gui.sh index 8d95dda95..2c57fb4a6 100755 --- a/git-gui.sh +++ b/git-gui.sh @@ -729,7 +729,10 @@ if {[is_Windows]} { gitlogo put gray26 -to 5 15 11 16 gitlogo redither - wm iconphoto . -default gitlogo + image create photo gitlogo32 -width 32 -height 32 + gitlogo32 copy gitlogo -zoom 2 2 + + wm iconphoto . -default gitlogo gitlogo32 } } |