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 /po/.gitignore | |
parent | gitk: Match ttk fonts to gitk fonts (diff) | |
download | tgif-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 'po/.gitignore')
0 files changed, 0 insertions, 0 deletions