SourceGutter.getPadding

class SourceGutter
void
getPadding
(
int* xpad
,
int* ypad
)

Detailed Description

Deprecated: Use gtk_source_gutter_renderer_get_padding() instead.

Meta