git-gui: Set both 16x16 and 32x32 icons on X to pacify Xming.

SamB · patthoyts · commit 215d4fdbaa9d · 2011-12-07T12:48:34.000Z
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 &lt;naesten@gmail.com&gt;
Signed-off-by: Pat Thoyts &lt;patthoyts@users.sourceforge.net&gt;
diff --git 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
 	}
 }
 

Original file line number	Diff line number	Diff line change
`@@ -729,7 +729,10 @@ if {[is_Windows]} {`
`729`	`729`	`gitlogo put gray26 -to 5 15 11 16`
`730`	`730`	`gitlogo redither`
`731`	`731`
`732`		`- wm iconphoto . -default gitlogo`
	`732`	`+ image create photo gitlogo32 -width 32 -height 32`
	`733`	`+ gitlogo32 copy gitlogo -zoom 2 2`
	`734`	`+`
	`735`	`+ wm iconphoto . -default gitlogo gitlogo32`
`733`	`736`	`}`
`734`	`737`	`}`
`735`	`738`