Plusieurs onglets sont ouverts dans Workbench. Y a t’il une manière simple de naviguer entre eux ?
Oui à partir de Workbench 7.2.
Prenons l'exemple ci-dessous où plusieurs fichiers sont ouverts et donc plusieurs onglets sont présents dans l'interface de Workbench :
Pour accéder à un onglet précis, la commande CTRL + T permet d'afficher la boite de dialogue suivante :
Une zone de recherche permet de filtrer les onglets en fonction du critère saisi.
Dans l'exemple ci-dessous ven a été saisi et permet d'afficher les onglets contenant ven dans le nom :
Un filtre sur le nom du projet et / ou sur le type de fichier peut également être appliqué.
La liste déroulante relative au type de fichier est dynamique et dépend des types de fichiers visualisés dans les onglets.
A titre d'exemple :
Un clic sur un nom d'onglet dans la liste amène l'onglet concerné au premier plan dans Workbench.