Chaque fenêtre du plan de travail contient une ou plusieurs perspectives. Les perspectives contiennent des vues et des éditeurs et déterminent la composition de certains menus et barres d'outils. Le bureau peut afficher simultanément plusieurs fenêtres du plan de travail.
Dans la page Plan de travail, vous pouvez modifier les préférences décrites ci-après.
Option
|
Description
|
Valeur par défaut
|
---|---|---|
Effectuer une compilation automatique lorsqu'une ressource est modifiée
|
Lorsque cette option est activée, le plan de travail effectue automatiquement une compilation à chaque sauvegarde d'une ressource modifiée.
|
Activée
|
Sauvegarder automatiquement les ressources modifiées avant la compilation manuelle
|
Lorsque cette option est activée, le plan de travail sauvegarde automatiquement toutes les ressources modifiées depuis la dernière compilation chaque fois que vous effectuez une compilation manuelle (en sélectionnant Projet > Recompiler tout dans la barre de menus).
|
Désactivée
|
Lier la sélection du navigateur à l'éditeur actif
|
Lorsque cette option est activée, la sélection d'un fichier ouvert dans la vue Navigateur
active l'éditeur contenant ce fichier dans la zone de l'éditeur. A l'inverse, l'activation d'un éditeur entraîne la sélection de la ressource correspondante
dans la vue Navigateur.
Lorsque cette option est désactivée, la sélection d'un fichier ouvert dans la vue Navigateur n'a aucune répercussion sur la zone de l'éditeur. Pour activer un éditeur, vous devez cliquer sur l'onglet de l'éditeur ou cliquer deux fois sur le fichier dans la vue Navigateur. |
Activée
|
Régénérer l'espace de travail au démarrage | Si cette option est activée, les ressources d'espace de travail vont être synchronisées avec les ressources correspondantes dans le système de fichier lors du démarrage de la plateforme.
Il est à noter que cette opération peut éventuellement prendre du temps, en fonction du nombre de ressources figurant dans l'espace de travail. |
Désactivée |
Intervalle de sauvegarde du plan de travail (en minutes) | Ce nombre indique la fréquence à laquelle l'état de l'espace travail est automatiquement sauvegardé sur le disque. | 5 |
Mode d'ouverture...
|
Vous pouvez sélectionner une des méthodes suivantes pour ouvrir des ressources :
Remarque : Les résultats de la sélection et de l'ouverture d'une ressource varient selon la vue qui est mise en évidence. |
Double-clic
|
La page des préférences de la vue Plan de travail se présente comme suit :
Agencement des fenêtres du plan de travail