if (page_cache->page_labels[i] != NULL &&
! strcmp (page_label, page_cache->page_labels[i])) {
ev_page_cache_set_current_page (page_cache, i);
if (page_cache->page_labels[i] != NULL &&
! strcmp (page_label, page_cache->page_labels[i])) {
ev_page_cache_set_current_page (page_cache, i);