]> www.fi.muni.cz Git - evince.git/search
Set points_set to TRUE so that selections don't disappear after a zoom