☰
DDOCs
GID:GTKSOURCE4
v0.9.13
/
gtksource.gutter_renderer
/
GutterRenderer.getSize
🔍
☾
GutterRenderer.getSize
int getSize()
nothrow
Get the size of the renderer.
Returns
the size of the renderer.