diff options
author | Stephen Boyd <bebarino@gmail.com> | 2009-03-19 01:54:18 -0700 |
---|---|---|
committer | Paul Mackerras <paulus@samba.org> | 2009-03-23 21:53:00 +1100 |
commit | d38d7d4954601966fe86573bf698c5bd4f37cb64 (patch) | |
tree | a064a1fa230c65cc1f53db09e4d1e06acfd69cf9 | |
parent | gitk: Provide a window icon if possible (diff) | |
download | tgif-d38d7d4954601966fe86573bf698c5bd4f37cb64.tar.xz |
gitk: Provide a 32x32 window icon based on the git logo
This simply expands the 16x16 logo image to 32x32 and provides it as
an alternative icon image.
Signed-off-by: Stephen Boyd <bebarino@gmail.com>
Signed-off-by: Paul Mackerras <paulus@samba.org>
-rwxr-xr-x | gitk | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 . |