Oh, and the patch is *not* correct. poppler_page_get_selected_text() can't be used as a simple replacement for the former poppler_page_get_text() because it also has changed semantics.
Oh, and the patch is *not* correct. poppler_ page_get_ selected_ text() can't be used as a simple replacement for the former poppler_ page_get_ text() because it also has changed semantics.