?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
dag: Search when 'enter' is pressed
[git-cola.git] / cola / widgets / defs.py
blob282e2fddf15ee9fa411936ffff1abcd204bb75bd
1 margin = 4
2 spacing = 4
3 handle_width = 4
4 button_spacing = 12
5
6 difftool_shortcut = 'Ctrl+D'
7 editor_shortcut = 'Ctrl+E'
8 stage_shortcut = 'Ctrl+S'
git-cola: A highly caffeinated git GUI