Re: [PATCH] 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.
> ---
>  git-gui.sh |    7 ++++++-
>  1 files changed, 6 insertions(+), 1 deletions(-)
>
> diff --git a/git-gui.sh b/git-gui.sh
> index c190cbe..9d01039 100755
> --- a/git-gui.sh
> +++ b/git-gui.sh
> @@ -729,7 +729,12 @@ if {[is_Windows]} {
>                gitlogo put gray26  -to  5 15 11 16
>                gitlogo redither
>
> -               wm iconphoto . -default gitlogo
> +               # TODO: should use something equivalent to the 32x32 image in
> +               # the .ico file
> +               image create photo gitlogo32    -width 32 -height 32
> +               gitlogo32 copy gitlogo -zoom 2 2
> +
> +               wm iconphoto . -default gitlogo gitlogo32
>        }
>  }