is_prelit

Description:

public bool is_prelit (uint line)

Checks to see if line is marked as prelit.

Generally, this means the mouse pointer is over the line within the gutter.

Parameters:

this

a GutterLines
line

a line number starting from zero

Returns:

true if the line is prelit