Re: [PATCH] gitk: use a tabbed dialog to edit preferences
On Tue, Dec 13, 2011 at 02:56:49PM +0000, Pat Thoyts wrote:
Show 10 quoted lines
> 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>
> 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.
Paul Mackerras <paulus@samba.org>