Re: Minor glitch in git-gui: changes to global options aren't taken into account immediately

From

Johannes Schindelin <johannes.schindelin@gmx.de>

Date

Nov 6, 2007, 03:19 UTC

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?