Scroll to cursor after canceling a selection
Fixes #2960 (closed).
One could think to write
if (!gtk_text_iter_equal (&insert, &newplace) || !extend_selection)
{
…
gtk_text_view_scroll_mark_onscreen (text_view, …)
…
}
but I feel like this condition is always true, and if we ever had to have gtk_text_iter_equal (&insert, &newplace) && extend_selection
, I don't see why gtk_text_view_scroll_mark_onscreen
shouldn't be called also.