Menu débug et raccourcis clavier dans Safari
Merci à Emmanuel pour l'info.
Je pense que nous n'avons pas fini de découvrir des fonctionnalités plus ou moins cachées de Safari, le nouveau navigateur d'Apple. Pour commencer, voici comment activer le menu dégub et du coup accéder à des fonctionnalités comme la modification du User Agent (carte d'identité du navigateur), un état précis du cache etc. Il suffit de taper dans le terminal :
defaults write com.apple.Safari IncludeDebugMenu YES
et de relancer Safari.
Dans ce menu, vous verrez apparaître "Keyboard And Mouse Shortcuts". Vous pouvez aussi y accéder sans activer le menu débug en ouvrant avec Safari le fichier :
file:///Applications/Safari.app/Contents/Resources/English.lproj/Shortcuts.html
en admettant que vous ayez placé le programme dans le dossier Applications.