mirror of
https://github.com/git/git.git
synced 2024-11-05 00:37:55 +01:00
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>
This commit is contained in:
parent
37871b735a
commit
d38d7d4954
1 changed files with 4 additions and 1 deletions
5
gitk
5
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 .
|
||||
|
|
Loading…
Reference in a new issue