source ~/.gitk for user-specific option settings
commitb5721c72b7b69df1dd7417cf8f784aac7a8fee2e
authorPaul Mackerras <paulus@samba.org>
Tue, 10 May 2005 12:08:22 +0000 (10 12:08 +0000)
committerPaul Mackerras <paulus@samba.org>
Tue, 10 May 2005 12:08:22 +0000 (10 12:08 +0000)
tree4fccd8a3d52f9746e06816c1bd0f2574ea6c91eb
parent5ad588de729eb11629f8ff31a248e8abd44e4a9a
source ~/.gitk for user-specific option settings
use a panedwindow for the main list with three panes,
and make them scroll together
gitk