-
Kai Willadsen authored
Sadly, we need this because the GtkSourceView line renderer isn't public, and it seems quite unpleasant to draw over it otherwise.
2d44d100
Sadly, we need this because the GtkSourceView line renderer isn't public, and it seems quite unpleasant to draw over it otherwise.