mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-08-28 04:19:40 +00:00
Increase ref label padding
This commit is contained in:
parent
01ce13d1a4
commit
9f1a72ccf3
|
@ -22,7 +22,7 @@ namespace Gitg
|
|||
public class LabelRenderer
|
||||
{
|
||||
private static const int margin = 2;
|
||||
private static const int padding = 4;
|
||||
private static const int padding = 6;
|
||||
|
||||
private static string label_text(Ref r)
|
||||
{
|
||||
|
|
Loading…
Reference in a new issue