diff options
| author | Giuseppe Bilotta <giuseppe.bilotta@gmail.com> | 2015-12-08 08:05:51 +0100 |
|---|---|---|
| committer | Paul Mackerras <paulus@samba.org> | 2015-12-12 13:43:53 +1100 |
| commit | cae4b60a989c43afa075b03962906aa3d9a457c4 (patch) | |
| tree | ae72ded43ab4c3ff36ac1bf9d692ebbfaf24b30e /t/t4013/diff.diff_--patch-with-stat_-r_initial..side | |
| parent | 6cb73c84e1dcf1d04f24b6e7915e5606bf69a5fd (diff) | |
gitk: Let .bleft.mid widgets 'breathe'
The widgets on top of the diff window are very tightly packed. Make
them breathe a little by adding an 'i'-spaced padding between them.
Signed-off-by: Giuseppe Bilotta <giuseppe.bilotta@gmail.com>
Signed-off-by: Paul Mackerras <paulus@samba.org>
Diffstat (limited to 't/t4013/diff.diff_--patch-with-stat_-r_initial..side')
0 files changed, 0 insertions, 0 deletions