diff options
author | Paul Mackerras <paulus@samba.org> | 2009-09-05 22:06:46 +1000 |
---|---|---|
committer | Paul Mackerras <paulus@samba.org> | 2009-09-05 22:06:46 +1000 |
commit | 0cc08ff7ddaf4360966bdedf006af041cdf6f7d9 (patch) | |
tree | 2c89eed30b9560f6877d803aa8d09a5ba8673505 /t | |
parent | Merge branch 'master' into dev (diff) | |
download | tgif-0cc08ff7ddaf4360966bdedf006af041cdf6f7d9.tar.xz |
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>
Diffstat (limited to 't')
0 files changed, 0 insertions, 0 deletions