Cette boîte de dialogue vous permet de parcourir le plan de travail pour ouvrir un fichier dans un éditeur.
Les types de masque suivants sont pris en charge :
Makefile et MockFile concordent mais pas MakeTheFiles
CreateStuff.java
CreateStuffNow.jsp
Les deux types de masque prennent également en charge les préfixes de dossier.
Si le masque contient une barre oblique (/), la partie avant la dernière barre oblique est utilisée pour rechercher un chemin dans l'espace de travail, par exemple "org.eclipse.ui/plugin.xml".
ou qui sont un peu plus complexes : "*/ui</pack*.html" correspond par exemple à des fichiers appelés "package.html"
dans un dossier appelé "ui" (mais pas dans les dossiers "uitools" ou "*/ui/internal").
Par exemple, "./Mak" permet de trouver tous les fichiers qui commencent par "Mak" dans le dossier de l'éditeur actif ou dans la sélection, alors que "../Mak" permet de trouver de tels fichiers dans le dossier parent.
Le bouton Ouvrir ouvre le fichier dans l'éditeur par défaut du fichier sélectionné. Vous pouvez sélectionner un éditeur différent dans le menu contextuel d'un fichier ou dans la liste déroulante située à côté du bouton Ouvrir.
Le comportement de la boîte de dialogue Ouverture d'une ressource peut être personnalisé à l'aide du menu de la boîte de dialogue :
|
Option |
Description |
Valeur par défaut |
|---|---|---|
| Afficher la ligne d'état | Lorsque cette option est sélectionnée, la boîte de dialogue Ouverture d'une ressource comporte une barre supplémentaire dans sa partie inférieure qui affiche le chemin d'accès complet au fichier sélectionné. | Afficher la ligne d'état |
| Afficher les ressources dérivées | Lorsque cette option est sélectionnée, la boîte de dialogue Ouverture d'une ressource affiche également les ressources dérivées. | Ne pas afficher les ressources dérivées |
| Actions sur les jeux de documents | Vous pouvez restreindre la portée de votre recherche en sélectionnant un ou plusieurs jeux de documents, ou l'ensemble de la fenêtre Jeu de documents. | Afficher tous les fichiers dans l'espace de travail. |