It seems that the size of the source marks rendered with GtkSourceGutterRenderer are remotely tied up to the size of the text in the GtkSourceView. I want to have bigger pixbufs, without making the text font size bigger and to achieve that I concluded I have to subclass a widget and override its draw signal handler.
However I have no idea which widget to subclass on. Surely one of you knows?
I think it's probably
GtkSourceGutterRendererPixbufitself that you have to subclass. If not that, then probablyGtkSourceGutterRendererwith a lot of duplicated code fromGtkSourceGutterRendererPixbuf.