Opera DragonFly

Utile pour les webmasters, Opera DragonFly n'est pas un plug-in (ressemble à WebDeveloper, mais intégré).

  • Voir comment elle va s'afficher avec différentes tailles de fenêtres : Afficher la taille de la page: Pref avancées/navigation et cocher "Afficher la taille de la page dans la barre de titre" 
  • Le zoom (bas droite) change la taille des images. Juste à sa gauche: triangle "ajuster à la largeur" (reformate le HTML et CSS pour les petits écrans).

Afficher styles (Maj+G pour y naviger): cf http://help.opera.com/Linux/12.10/fr/stylemodes.html

opera:cache dans l'URL. Les Préférences sont à Ctrl+F12 - Avancées - Historique - section "Vérifier si la page du cache est mise à jour sur le serveur"

Préférences de sites

En surfant sur un site, clic droit / Editer les préférences du site.

liens apt (pour linux)

(Outils/préférences ou) CTRL+F12 onglet Avancé - à gauche "Programme" - bouton Ajouter : dans Protocole taper apt et dans Ouvrir avec une autre application tapez apturl.

raccourcis

Outils/préférences ou CTRL+F12 - Pref rapide F12 - thèmes Maj+F12. - afficher/cacher les panneaux opera (F4) -

Pour travailler sur les feuilles de style: CTRL+Maj+I (via Opera DragonFly) - CTRL+U affiche la source HTML (si local: edition, si web: modif du cache seul).

Où sont les fichiers ?

Pour sauvegardes (ou backup): dans l'URL opera:about - mais sans surprise... sous linux c'est en général à /home/user/.opera

install opera (linux)

ajouter à la liste des paquets: deb http://deb.opera.com/opera/ stable non-free

récup clé GPG: sudo wget -q http://deb.opera.com/archive.key -O- | sudo apt-key add -
echo "deb http://deb.opera.com/opera/ stable non-free" | sudo tee -a /etc/apt/sources.list.d/opera-webbrowser.list
sudo apt-get update && sudo apt-get install opera

Source : https://help.ubuntu.com/community/OperaBrowser