set_size

Description:

public void set_size (int size)

Sets the size of the renderer.

A value of -1 specifies that the size is to be determined dynamically.

Parameters:

this

a SourceGutterRenderer
size

the size