Comme je suis en train de préparer le support de cours sur les éditeurs, j'étudie en détail les APIs sur le sujet. Durant cette exploration, j'ai découvert dans l'interface IEditorReference la méthode boolean isPinned(). Malheureusement la documentation sur le sujet de ce que représente un éditeur "épinglé" n'est pas très explicite. Toutefois, en cherchant dans les préférences utilisateurs, je suis tombé sur une option assez sympathique.
Ouvrir le menu des préférences (Window -> Preferences) puis dans les options générales (General) sélectionner le sous menu Editors (voir capture ci-dessous).

Par contre il se peut que pour certaines classes vous ne souhaitiez pas que des éditeurs soient fermés automatiquement, d'où l'utilité de l'option épinglée (pinned).
Si l'option Close editors automatically est activée, vous remarquerez dans la barre d'outils, une nouvelle option (voir repère 1 sur la figure ci-dessous).
Ainsi tous les éditeurs épinglés ne seront pas fermés. Vous pourrez alors ouvrir autant d'éditeur que vous souhaitez sans avoir à gérer leur fermeture.
Aucun commentaire:
Enregistrer un commentaire