From: Paolo Bonzini <bonzini@gnu.org>
Date: Thu, 29 Oct 2009 12:48:07 GMT
Subject: Re: [PATCH 1/3] add splash screen
Message-ID: <4AE98F07.4050401@gnu.org>
In-Reply-To: <20091029002400.GA1057@sigill.intra.peff.net>

On 10/29/2009 01:24 AM, Jeff King wrote:
> Because bash completion is so slow to start, we need to
> entertain users with a splash screen, so reuse the one from
> git-gui.

I suggest adding "wm overrideredirect . 1; wm geometry . +300+300".

Paolo