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