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