Éditeur Info

L’éditeur Info enregistre les opérateurs exécutés ainsi que les erreurs, les avertissements et les messages d’information. Vous pouvez sélectionner une entrée en cliquant dessus, en maintenant éventuellement la touche Shift appuyée pour l’ajouter à la sélection existante.

../_images/editors_info-editor_ui.png

Éditeur Info.

Interface

Menu View

Area

Contrôles de zone. Voir la documentation de l'interface utilisateur pour plus d’informations.

Menu Info

Tout sélectionner A

Sélectionne toutes les entrées.

Tout désélectionner Alt-A

Désélectionner toutes les entrées.

Inverser la sélection Ctrl-I

Sélectionne les entrées non sélectionnées et désélectionne celles qui sont sélectionnées.

Toggle Selection

Sélectionne toutes les entrées s’il n’y en a actuellement aucune de sélectionnée et les désélectionne dans le cas contraire.

Box Select B

Permet de faire glisser une boîte et ajoute à la sélection les entrées qui la chevauchent.

Delete X, Suppr

Supprime les entrées sélectionnées du journal (log).

Copy Ctrl-C

Copie les entrées sélectionnées dans le presse-papier.