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 /git-gui/lib | |
| parent | 6cb73c84e1dcf1d04f24b6e7915e5606bf69a5fd (diff) | |
| download | git-cae4b60a989c43afa075b03962906aa3d9a457c4.tar.gz git-cae4b60a989c43afa075b03962906aa3d9a457c4.tar.xz | |
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 'git-gui/lib')
0 files changed, 0 insertions, 0 deletions