mirror of
https://gitlab.gnome.org/GNOME/gitg
synced 2024-10-14 11:52:29 +00:00
Add small padding on hunk header
This commit is contained in:
parent
91c0854c54
commit
99e4ff36c4
|
@ -115,7 +115,7 @@ class Gitg.DiffViewHunk : Gtk.Grid
|
||||||
d_sym_lines.size +
|
d_sym_lines.size +
|
||||||
d_sym_lines.xpad * 2;
|
d_sym_lines.xpad * 2;
|
||||||
|
|
||||||
d_sourceview_hunk.move_child(d_label_hunk, -wx, 0);
|
d_sourceview_hunk.move_child(d_label_hunk, -wx + 6, 0);
|
||||||
}
|
}
|
||||||
|
|
||||||
protected override bool map_event(Gdk.EventAny event)
|
protected override bool map_event(Gdk.EventAny event)
|
||||||
|
|
Loading…
Reference in a new issue