Personnaliser la barre d'outils de l'éditeur de source  
 

La barre d'outils au sommet de la fenêtre d'édition de source peut être personnalisée afin de correspondres à vos besoins et désirs. Lorsque vous choisissez Personnaliser la barre d'outils... dans le menu Navigateur, un feuillet s'ouvrira contenant des boutons et d'autres éléments que vous pouvez ajouter en les glissant sur la barre d'outils. Pendant que le feuillet de personnalisation est ouvert, vous pouvez ré-arranger les éléments dans la barre d'outils en les déplaçant ou les supprimant en les glissant hors de la barre.

Éléments de la barre d'outils de l'éditeur de source


Rapatrier la source

À l'instar du bouton Recharger dans la fenêtre de navigation, cliquer sur cet élément rapatriera le document HTML depuis le serveur ou le disque d'où il est originaire, détruisant tous les changements que vous auriez pu faire.


Enregistrer sur le disque

Cliquer sur cet élément enregistrera le document source actuel sur un disque monté localement. Si vous n'avez pas enregistré le document auparavent, vous serez questionné sur l'emplacement et le nom pour l'enregistrer.


Décharger sur le serveur

Cliquer sur cet élément enregistrera le document source actuel sur le serveur d'où il est issu, si possible. (Regardez Enregistrer de la source pour plus d'informations.)


Ré-afficher dans le navigateur

Cliquez sur cet élément afin de visualiser les modifications que vous avez faites dans une fenêtre de navigation -- cela vous permet d'aperçevoir vos modifications sans les enregistrer, et les images, liens et formulaires fonctionneront.


Compacter l'HTML

Cliquez sur cet élément pour supprimer les espaces blancs inutiles des documents HTML. Pour de grands documents, cela peut améliorer le temps de chargement pour les utilisateurs.


Reformatter l'HTML

Lorsque cet élément est cliqué, des retours chariot et des tabulations supplémentaires seront ajoutés à la source HTML, il sera ainsi plus façile de la lire et de l'éditer. (Cela n'affecte en rien son apparence dans un navigateur.)


Colorier l'HTML

Si la coloration automatique n'est pas active dans les préférences pour la source HTML, vous pouvez cliquer sur cet élément pour manuellement colorier les marqueurs HTML selon leur type, les rendant plus façiles à lire et à éditer.


Imprimer

Cliquez sur cet élément pour ouvrir la palette d'impression afin d'imprimer le document source HTML.


Couleurs

Cliquez sur cet élément afin d'afficher la palette standard des couleurs. Si vous glissez une couleur dans l'éditeur de source, son code de couleur HTML sera inséré.


Réduire le texte

Cliquez dessus pour diminuer la taille du texte de la source.


Agrandir le texte

Cliquez dessus pour augmenter la taille du texte de la source.


Afficher la source

Si Garder les flux traités pour l'affichage est activé dans les préférences pour la source HTML, cet élément vous permet de choisir entre visualiser l'HTML reçu depuis le serveur et l'HTML traité par le moteur d'affichage d'OmniWeb.

Ces deux versions du document semblent identiques, et elle le sont souvent. Mais certaines pages contiennent des scripts JavaScript qui provoquent le document à se réécrire lui-même avant d'être rendu -- afficher "tel que traité" vous permet de visualiser l'HTML généré par de tels scripts.


Séparateur

Placez cet élément entre deux autres pour les séparer visuellement.


Espace

Ou placez celui-ci entre deux autres pour aussi les séparer visuellement.


Espace ajustable

Cet élément est identique à l'élément Espace, sauf qu'il s'étend pour combler tout l'espace disponible de la barre d'outils -- ainsi si vous placez quelque élément à sa droite, ils restera collé contre le côté droit de la barre d'outils.


Personnaliser

Cliquez sur cet élément pour ouvrir le feuillet de personnalisation de la barre d'outils.


Sujets apparentés
Table des matières: Personnaliser OmniWeb
Table des matières: Édition de source HTML
Table des matières principale