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