Gutter clip box is 1px narrower than it should be when line-numbers-border is set
Kate style scheme
Adwaita style scheme
Green area is drawn by this renderer:
public class TestGutterRenderer : GtkSource.GutterRenderer {
public override void snapshot_line (Gtk.Snapshot snapshot, GtkSource.GutterLines lines, uint line) {
int line_y;
int line_height;
lines.get_line_yrange (line, GtkSource.GutterRendererAlignmentMode.CELL, out line_y, out line_height);
var color = Gdk.RGBA(){red = 0, green = 1, blue = 0, alpha = 1};
snapshot.append_color (color, Graphene.Rect.alloc ().init(0, line_y, 40, line_height));
}
}
and this renderer is inserted in gutter like this:
var gut_renderer = new TestGutterRenderer();
var gutter = view.get_gutter (Gtk.TextWindowType.LEFT);
gutter.insert (gut_renderer, 0);
Edited by RocketRide