My Various Git Projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6cb73c8) | patch
gitk: Let .bleft.mid widgets 'breathe'
authorGiuseppe Bilotta <giuseppe.bilotta@gmail.com>
Tue, 8 Dec 2015 07:05:51 +0000 (08:05 +0100)
committerPaul Mackerras <paulus@samba.org>
Sat, 12 Dec 2015 02:43:53 +0000 (13:43 +1100)
commitcae4b60a989c43afa075b03962906aa3d9a457c4
treeae72ded43ab4c3ff36ac1bf9d692ebbfaf24b30etree | snapshot
parent6cb73c84e1dcf1d04f24b6e7915e5606bf69a5fdcommit | 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>
gitk diff | blob | history
The core git plumbing