Vous n'avez pas indiqué quelle version d'Eclipse vous utilisez. Mes éditeurs HTML/Structured Text n'ont pas les mêmes onglets que les vôtres. J'utilise 3.4.2.
Vous pouvez étendre cet éditeur en écrivant votre propre plug-in pour Eclipse. En dehors de la tâche 'créer un projet de plug-in', commencez par trouver les points d'extension pour l'éditeur cible. Ensuite, votre plug-in peut simplement enregistrer en tant qu'extension et ajouter une nouvelle propriété au lieu d'écrire un éditeur entier. La propriété doit apparaître sur une page de préférence, puis votre code peut prendre soin de basculer la vue active de l'éditeur vers l'onglet 'Source' basé sur cette propriété.