is_selected


Description:

public bool is_selected (uint line)

Checks to see if the view had a selection and if that selection overlaps line in some way.

Parameters:

this

a GutterLines

line

a line number starting from zero

Returns:

true if the line contains a selection