Align ref label on the pixel

This commit is contained in:
Jesse van den Kieboom 2012-10-16 20:26:23 +02:00
parent 5a1efe6b7f
commit ea93597b9c

View file

@ -115,20 +115,21 @@ namespace GitgGtk
context.save();
var style_class = class_from_ref(r.parsed_name.rtype);
if (style_class != null)
{
context.add_class(style_class);
}
context.render_background(cr,
x + 0.5,
y + margin + 0.5,
x,
y + margin,
w + padding * 2,
height - margin * 2);
context.render_frame(cr,
x + 0.5,
y + margin + 0.5,
x,
y + margin,
w + padding * 2,
height - margin * 2);