From 215d4fdbaa9d32459cc199667970dc7f63d94982 Mon Sep 17 00:00:00 2001 From: Samuel Bronson Date: Wed, 7 Dec 2011 12:48:04 +0000 Subject: [PATCH] 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 Signed-off-by: Pat Thoyts --- git-gui.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) 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 } } -- 2.26.2