| commit | 0cc08ff7ddaf4360966bdedf006af041cdf6f7d9 | [log] [tgz] |
|---|---|---|
| author | Paul Mackerras <paulus@samba.org> | Sat Sep 05 22:06:46 2009 +1000 |
| committer | Paul Mackerras <paulus@samba.org> | Sat Sep 05 22:06:46 2009 +1000 |
| tree | 2c89eed30b9560f6877d803aa8d09a5ba8673505 | |
| parent | eae7d64a2da085d7aed0671149611e417ca794e3 [diff] |
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>