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




2022 vala-language.org