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>
Samuel Bronson committed
Dec 7, 2011 at 12:48 UTC
215d4fdbaa9d32459cc199667970dc7f63d94982
1 file changed
+4
-1
git-gui.sh
+4
-1
@@ -729,7 +729,10 @@ if {[is_Windows]} {
729
gitlogo put gray26 -to 5 15 11 16
730
gitlogo redither
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
736
}
737
}
738