| commit | 6f03ff008ea913ddf760ca70361aaaadcbab7728 | |
| author | Pat Thoyts <patthoyts@users.sourceforge.net> | |
| Tue, 13 Dec 2011 14:56:49 +0000 (13 14:56 +0000) | ||
| committer | Johannes Schindelin <johannes.schindelin@gmx.de> | |
| Tue, 13 Mar 2012 05:46:48 +0000 (13 00:46 -0500) | ||
| tree | f9d6a120ee30e5e588a673f7f71d5a910f2faa46 | treesnapshot (tar.gz zip) |
| parent | 46e4bd1087ede26022363aa963100da17324b079 | commitdiff |
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>
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>
| gitk-git/gitk | diffblobblamehistory |