Certains sites Web (par exemple, pour des revues académiques) affichent des fichiers PDF dans des cadres. Parfois, je voudrais télécharger le fichier PDF, mais le faire est ennuyeusement difficile: clic droit sur le PDF fait apparaître un menu contextuel qui ne propose pas une option pour télécharger le PDF - il inclut seulement une option pour ouvrir le fichier dans une autre application (Adobe Acrobat, dans mon cas) :
Il serait pratique d'avoir une option dans ce menu pour enregistrer le fichier sur le disque. Comme c'est le cas actuellement, je dois ouvrir le PDF dans Acrobat (en utilisant l'option dans ce menu) et ensuite enregistrer le fichier à partir d'Acrobat. Cela fonctionne, mais prend du temps, nécessite de changer d'applications, et devient rapidement ennuyeux lorsque l'on visualise beaucoup de PDF. Maintenant, la chose curieuse est que pour d'autres types d'objets intégrés tels que des images, le menu contextuel de Safari possède une option d'enregistrement sur le disque. Ce qui me laisse perplexe, donc, c'est pourquoi il n'y a pas d'option "Enregistrer le PDF sous..." ou équivalent dans le menu contextuel pour les fichiers PDF.
Alors, y a-t-il un moyen d'obtenir une option similaire d'enregistrement sur le disque pour les PDF ? Est-elle normalement présente, et ai-je fait quelque chose à un moment donné pour la désactiver ? Ou n'est-ce vraiment jamais une option pour les PDF ?
Informations système obligatoires : OSX 10.9.5, Safari 7.1, MBPR.
Clarification supplémentaire : Acrobat propose un plug-in pour Safari qui a des menus et des options différents. Je préfère le support PDF natif de Safari au plug-in Acrobat, et j'ai désactivé le plug-in il y a longtemps pour cette raison. Donc, pour être clair : cette question concerne spécifiquement les menus offerts par la facilité PDF de Safari, et non le plug-in Acrobat.