Musique - Echecs - Informatique - Bretagne

François Leysour de Rohello © 2004-2023 - monunivers.com - Contact - Fil RSS

Aller au contenu | Aller au menu | Aller à la recherche

Mot-clé - firefox

Fil des billets - Fil des commentaires

mercredi 27 juin 2007

Firebug

Firebug est une extension époustouflante. Il existe une version Lite pour les autres navigateurs.

  • debugger javascript avancé (point d'arrêt, pas à pas, variables)
  • détection des erreurs et exceptions
  • console javascript
  • inspecteur du code html (identification par simple survol de la souris)
  • inspecteur des feuilles de styles (changement dynamique des propriétés)
  • visualisation des éléments (marge, dimensions, positionnement)
  • inspecteur DOM
  • analyse du traffic http (header, temps de chargement de chaque éléments)
  • monitoring des échanges avec l'objet XMLHttpRequest
De plus la présentation et l'ergonomie sont très soignées, Firebug est gratuit et open source.
En résumé : Indispensable pour tout développeur web.

mercredi 20 juin 2007

Gestion des favoris en ligne avec Google Bookmarks et la barre d'outils Google

Comment gérer facilement ses favoris en ligne ? Comment optimiser la place prise par les barres d'outils ?

Google Bookmarks * comme gestionnaire de favoris en ligne (il faut un compte gmail)

Google Toolbar pour gérer les favoris dans Firefox, de plus la barre d'outils offre de nombreuses autres fonctionnalités : recherche Google intégrée, traduction, vérification orthographique, envoi d'une page/sélection web directement via gmail.

Pour ajouter un favori vous cliquez sur la flèche du bouton favori, sélectionner "Ajouter cette page à mes favoris", renseignez les tags * et c'est fait. (si vous cliquez directement sur l'étoile, l'ajout des tags n'est pas proposé)
Pour retrouver un favori vous cliquez sur la flèche qui déroule votre liste de tags, vous n'avez plus qu'a sélectionner le lien.

Seul inconvénient, il manque une fonction d'exportation pour pouvoir récupérer ses favoris en local. Pour cela vous pouvez utilisez GMarks une extension de Firefox.

En ajoutant des barres d'outils, vous constaterez que cela prend beaucoup de place verticalement. Voici la solution :

Avant

Après : installation de l'extension Tiny Menu (pour compacter la barre de menu) et envoie de tous les boutons dans la barre de menu (à faire manuellement en utilisant l'option Personnaliser... accessible par un clic droit sur une barre d'outils). Vous pouvez ensuite masquer la barre de navigation et la barre d'outils Google (menu Affichage / Barre d'outils).

* Précisions sur le vocabulaire : bookmark = favori = signet, de même tag = label = signé = libellé= mot clé.

mercredi 31 mai 2006

Mot-clé de recherche dans Firefox

menu mot clé Une fonctionnalité très pratique et plutôt méconnue de Firefox : l'ajout d'un mot-clé de recherche. Exemple avec le site Wikipédia, dans le champ de recherche sélectionnez l'entrée Ajouter un mot-clé pour cette recherche du menu contextuel (obtenu avec un clic du bouton droit de la souris) . Une boîte vous permez alors de saisir le nom et un mot-clé (de préférence court !) pour ce marque-page (favori).

Pour l'utiliser c'est très simple. Dans la barre d'adresse il suffit de taper w echecs pour obtenir directement l'article sur le jeu d'échecs de Wikipédia. Avec les raccourcis clavier ça donne :

  1. CTRL + L (pour sélectionner la barre d'adresse)
  2. w echecs
  3. ALT + ENTER (pour ouvrir un nouvel onglet avec le résultat)

Et voilà vous pouvez créer des mot-clés pour tous les sites sur lesquels vous faites des recherches fréquentes (amazon etc...).

mardi 25 janvier 2005

Firefox : agrandir la largeur de la barre de recherche.

Pour élargir la barre de recherche (trop petite par défaut) il faut créer un fichier userChrome.css contenant le code ci-dessous. Le fichier doit être mis dans le répertoire Chrome du profile utilisateur (exemple avec XP : C:\Documents and Settings\François\Application Data\Mozilla\Firefox\Profiles\default.8aq\chrome). La barre de recherche est accessible par le raccourci clavier Ctrl + K.

/* Make the Search box flex wider(in this case 400 pixels wide) */
#search-container, #searchbar { -moz-box-flex: 400 !important; }

Vous trouverez de nombreux Tips & Tricks (Trucs et Astuces) sur www.mozilla.org/support/firefox/tips

Rappel : Si vous utilisez encore IE (Internet Explorer), Il est urgent de changer ! Télécharger Firefox sur : http://www.mozilla-europe.org/fr/ (existe en Français et bien d'autres langues... le breton par exemple ;-).