From: Paul Mackerras <paulus@samba.org>
Date: Sun, 18 Mar 2012 23:07:09 GMT
Subject: Re: [PATCH] gitk: use a tabbed dialog to edit preferences
Message-ID: <20120318230709.GC26977@bloggs.ozlabs.ibm.com>
In-Reply-To: <87ty547arf.fsf@fox.patthoyts.tk>

On Tue, Dec 13, 2011 at 02:56:49PM +0000, Pat Thoyts wrote:
> This commit converts the user preferences dialog into a tabbed property
> sheet grouping general properties, colours and font selections onto
> separate pages. The previous implementation was exceeding the screen
> height on some systems and this avoids such problems and permits extension
> using new pages in the future.
> 
> If themed Tk is unavailable or undesired a reasonable facsimile of the
> tabbed notebook widget is used instead.
> 
> Signed-off-by: Pat Thoyts <patthoyts@users.sourceforge.net>

Thanks, applied.

> I have done this patch against the git-core version of gitk as gitk's
> own repository on kernel.org has not re-appeared. Is this likely to get
> resurrected or should I perhaps make a github fork for any future work
> on gitk?

My gitk repository is now at git://ozlabs.org/~paulus/gitk.git.

Paul.