SourceGutter.setPadding

class SourceGutter
void
setPadding
(
int xpad
,
int ypad
)

Detailed Description

Deprecated: Use gtk_source_gutter_renderer_set_padding() instead.

Meta