search_set_wrap_around


Description:

public void search_set_wrap_around (bool wrap_around)

Sets whether search should wrap around to the beginning of the terminal content when reaching its end.

Parameters:

this

a Terminal

wrap_around

whether search should wrap