Identificateur : org.eclipse.debug.ui.launchConfigurationTabGroups
Description : ce point d'extension fournit un mécanisme pour contribuer un groupe d'onglets à la boîte de dialogue de la configuration de lancement.
Marques de configuration :
<!ELEMENT launchConfigurationTabGroup> <!ATTLIST launchConfigurationTabGroup
id CDATA #REQUIRED
type CDATA #REQUIRED
class CDATA #REQUIRED
id
correspond à l'identificateur unique pour le
groupe d'onglets de cette configuration de lancement. type
spécifie le type de configuration de lancement
auquel ce groupe s'applique (ID de l'extension). class
correspond au nom qualifié complet d'une
classe Java implémentant ILaunchConfigurationTabGroup
.Exemples :
Voici un exemple de point d'extension du groupe d'onglets d'une configuration de lancement :
<extension point="org.eclipse.debug.ui.launchConfigurationTabGroups"> <launchConfigurationTabGroup id="com.example.ExampleTabGroup" type="com.example.ExampleLaunchConfigurationTypeIdentifier" class="com.example.ExampleLaunchConfigurationTabGroupClass"> </launchConfigurationTabGroup> </extension>
Dans cet exemple, le groupe d'onglets ajouté apparaîtra dans la
boîte de dialogue pour le type de configuration de lancement avec
l'identificateur com.example.ExampleLaunchConfigurationTypeIdentifier
.
Informations d'API : la valeur de l'attribut class doit être le nom qualifié complet d'une classe Java implémentant l'interface org.eclipse.debug.ui.ILaunchConfigurationTabGroup.