gitk: Provide a 32x32 window icon based on the git logo

diff --git a/gitk b/gitk
index 82bc2af7611b5a3e67611028e8ff904c394d4cac..0dcfbf1b4afb5e1e1149ad80c259cc09820eab80 100755 (executable)
--- a/gitk
+++ b/gitk
@@ -10902,7 +10902,10 @@ catch {
     gitlogo copy gitlogoplus  -to 11 9
     image delete gitlogoplus
 
-    wm iconphoto . -default gitlogo
+    image create photo gitlogo32    -width 32 -height 32
+    gitlogo32 copy gitlogo -zoom 2 2
+
+    wm iconphoto . -default gitlogo gitlogo32
 }
 # wait for the window to become visible
 tkwait visibility .