☰
D
dejadoc
GID:GTKSOURCE4
/
gtksource.gutter_renderer
/
GutterRenderer.end
🔍
☾
GutterRenderer.end
void end()
Called when drawing a region of lines has ended.