EspaceRezo

Dans la série des astuces pour mon nouveau navigateur préféré, j’ai choisi de vous présenter le correcteur d’orthographe directement exploitable dans les champs de texte.

Cette fonction était présente avec la barre d’outil Google mais les programmeurs du célèbre site de recherche n’éprouvent pas le besoin d’en compiler une version pour Opera.

Heureusement un ingénieux blogeur a mis au point un script qu’il suffit de placer dans le dossier que vous avez réservé à cet effet et déclaré dans les paramètres de Opera, le nom général conseillé pour ce dossier est UserJS. Les habitués se repéreront. ;-)

Pour apprécier le résultat, voici pour commencer deux screenshots des résultats obtenus :

Utilisation :
Dès que l’on clique dans un champ texte, un bouton avec des doubles flèches vertes apparaît. Si la langue n’est pas le français, vous pouvez la changer en cliquant sur le nom de la langue. En cliquant sur les doubles flèches, le correcteur se met en action. C’est tout et c’est hyper pratique !

Installation :
Simplement placer ce fichier ospell dans le dossier UserJS. Vous pouvez aussi, très accessoirement, placer dans ce même dossier le fichier qui gère les préférences : a_ospell_prefs.

A votre clavier maintenant !

Et bon switch sur Opera.

J’accroche décidément bien avec le navigateur Opera et je passe actuellement un peu de temps à le triturer pour le façonner selon mes envies. Après vous avoir expliqué comment faire apparaître à volonté la barre de menu, je vous propose donc une nouvelle astuce qui vous permettra d’activer l’onglet de votre choix au démarrage d’une session.

En effet, lorsque l’on veut ouvrir une session d’Opera avec plusieurs onglets, ce n’est pas forcément le premier de la série qui s’affiche, ce qui serait nettement plus logique (IE fonctionne comme cela d’ailleurs). En fait, l’onglet “principal” est choisi sur je ne sais trop quel critère au moment de l’enregistrement de la session. Par exemple, chez moi, sur une session de 8 onglets, c’était toujours le 6ème qui s’activait une fois toutes les pages chargées alors que je voulais que ce soit le 8ème : celui d’EspaceRezo bien sûr !

Heureusement, il existe une astuce pour remédier à ce petit inconvénient :

– éditez le fichier “C:\Users\votre identifiant\AppData\Roaming\Opera\Opera\profile\sessions\Démarrage.win
– recherchez-y les termes : active=1

Vous remarquerez que tous les onglets sélectionnés pour la session y figurent avec des paramètres particuliers. Vous constaterez aussi que l’occurrence recherchée ne figure qu’une fois pour la simple raison que les autres “active” sont positionnés à 0.

Il suffit maintenant de mettre à “0” l’onglet qui ne vous intéresse pas et de mettre “1” à l’onglet choisi.

Le navigateur “Opera” est téléchargeable gratuitement sur opera.com.

Dans la gamme des navigateurs offerts aux internautes, les fidèles visiteurs savent déjà que si j’ai rompu définitivement avec Internet Explorer 7, mon choix ne s’est pas encore fixé entre FireFox et Opera. C’est à ce dernier que j’accorde, pour l’instant, toutes mes faveurs. Je suis notamment charmé par sa rapidité de lancement et de chargement des pages.

Opera est excellent mais je ne le trouve pas parfait. C’est peut-être à cause des habitudes solidement ancrées par IE7. Certaines fonctions absentes m’empêchent de finaliser mon choix. Par exemple, même si certains “Opera-philes” s’en étonnent, la barre d’outils de Google me manque cruellement. J’ai toujours apprécié la traduction instantanée des mots anglais ou la recherche de termes surlignés et multi colorisés, pour ne citer que ces fonctions.

Toutefois, à force de recherches opiniâtres, j’ai trouvé quelques astuces pour modifier le navigateur comme je le souhaite. Je vous propose donc une petite manipulation qui permet de masquer et faire apparaître à volonté la barre de menu.

Le seul moyen pratique d’y parvenir est d’utiliser un raccourci clavier comme pour IE où la touche “Alt” gère cette option :

– ouvrez le menu “Outils/préférences…” ou utilisez les touches “Ctrl + F12”
– dans l’onglet “Avancé“, sélectionnez “Raccourcis“
– cliquez sur “Editer…” de la configuration du clavier
– dans la fenêtre de recherche, tapez “menu bar“, il ne restera plus alors qu’un raccourci
– éditez-le (bouton “Editer…”) et collez-y : “Platform Windows, F6”

Dorénavant, l’utilisation de la touche “F6” fera apparaître ou disparaître la barre de menu. Vous pouvez, bien entendu, choisir une autre touche mais “F6” n’est pas utilisée contrairement aux autres.

Le navigateur “Opera” est téléchargeable gratuitement sur opera.com.