From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 06 Nov 2007 03:19:49 GMT
Subject: Re: Minor glitch in git-gui: changes to global options aren't taken into account immediately
Message-ID: <Pine.LNX.4.64.0711060319140.4362@racer.site>
In-Reply-To: <93FD01F4-71F8-4025-BA7F-A642E2B7CAD6@lrde.epita.fr>

Hi,

On Tue, 6 Nov 2007, Benoit SIGOURE wrote:

> I've just realized that git-gui wasn't only using 3 lines of context in the
> diffs so I changed the setting under the menu Wish>Options... under the
> section `Global'.  I had to restart git-gui so that the new setting is taken
> into account.

Would not clicking on another file have done the trick, too?

Ciao,
Dscho