gitk: Add a user preference to enable/disable use of themed widgets
authorPaul Mackerras <paulus@samba.org>
Sat, 5 Sep 2009 12:06:46 +0000 (22:06 +1000)
committerPaul Mackerras <paulus@samba.org>
Sat, 5 Sep 2009 12:06:46 +0000 (22:06 +1000)
commit0cc08ff7ddaf4360966bdedf006af041cdf6f7d9
tree2c89eed30b9560f6877d803aa8d09a5ba8673505
parenteae7d64a2da085d7aed0671149611e417ca794e3
gitk: Add a user preference to enable/disable use of themed widgets

Also move the hide-remotes option up into the commit display options
in the Edit->Preferences panel, since it affects the commit display
more than the diff display.

Signed-off-by: Paul Mackerras <paulus@samba.org>
gitk