PDF: single-layer text selection with gen-time margins#578

andiwand wants to merge 2 commits into

mainopendocument-app/OpenDocument.core:mainfrom

pdf-single-layer-selectionopendocument-app/OpenDocument.core:pdf-single-layer-selectionCopy head branch name to clipboard