Region.addRegion

void addRegion(gtksource.region.Region regionToAdd = null)

Adds region_to_add to region. region_to_add is not modified.

regionToAdd the #GtkSourceRegion to add to region, or null.