Lösung: Dazu reicht Google Chrome ab Version 21 aus. Starten Sie Chrome, und ziehen Sie die betreffende PDF-Datei in das Browser-Fenster.
Wenn der Inhalt des Dokuments angezeigt wird, klicken Sie rechts neben der Adresszeile auf das Icon, mit dem sich Google Chrome anpassen lässt. Aus dem Menü wählen Sie den Eintrag Drucken. Anschließend klicken Sie unter Ziel auf Ändern, Als PDF speichern, dann auf Speichern und wählen einen Dateinamen. Aus der auf diese Weise angelegten Kopie des Dokuments lässt sich der Text nun ohne Weiteres kopieren.
Produkte: Der Trick funktioniert mit PDF-Dateien und Google Chrome ab Version 21.
Dieser Artikel basiert auf einem Beitrag der CW-Schwesterpublikation TecChannel. (mhr)