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@xxxxxxxxxxxxxxxxxxxxx> 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. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html