gitk: Use a tabbed dialog to edit preferences
authorPat Thoyts <patthoyts@users.sourceforge.net>
Tue, 13 Dec 2011 14:56:49 +0000 (14:56 +0000)
committerPaul Mackerras <paulus@samba.org>
Sun, 18 Mar 2012 23:04:43 +0000 (10:04 +1100)
commit44acce0befa22bc3af2132540e92da90a3a32286
tree3f7bb059458cd2b0194d3d04546a54cbe497ea43
parent3878e636c640763ad12bff7f4dca967c34c530d6
gitk: Use a tabbed dialog to edit preferences

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>
Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk