skip forbidden pages and distinguish them from empty selections

Collected pages the user may not read are dropped from the export and remembered
separately, so a selection where every page is forbid

skip forbidden pages and distinguish them from empty selections

Collected pages the user may not read are dropped from the export and remembered
separately, so a selection where every page is forbidden can be told apart from
one where nothing was selected and reports "no read access" instead of "nothing
selected". The forbidden message no longer lists the page ids or references the
removed 'Skip Forbidden Pages' option; its outdated translations are dropped so
they get re-translated.

show more ...