Re: [PATCH 1/3] add splash screen
- From
Paolo Bonzini <bonzini@gnu.org>
- Date
- Oct 29, 2009, 12:48 UTC
- 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