Groupes de lancement

org.eclipse.debug.ui.launchGroups

2.1

Ce point d'extension permet de définir un groupe de configurations de lancement à afficher ensemble dans la boîte de dialogue correspondante et supporte un historique de lancement (lancements récents et favoris).

<!ELEMENT extension (launchGroup*)>

<!ATTLIST extension

point CDATA #REQUIRED

id    CDATA #IMPLIED

name  CDATA #IMPLIED>


<!ELEMENT launchGroup EMPTY>

<!ATTLIST launchGroup

id          CDATA #REQUIRED

mode        CDATA #REQUIRED

category    CDATA #IMPLIED

label       CDATA #REQUIRED

image       CDATA #REQUIRED

bannerImage CDATA #REQUIRED

public      CDATA #IMPLIED

title       CDATA #IMPLIED>


L'exemple ci-dessous illustre le point d'extension d'un groupe de lancements :

 

<extension point=

"org.eclipse.debug.ui.launchGroups"

>

<launchGroup id=

"com.example.ExampleLaunchGroupId"

mode=

"run"

label=

"Run"

image=

"icons\run.gif"

bannerImage=

"icons\runBanner.gif"

>

</launchGroup>

</extension>

Dans cet exemple, le groupe de lancement est constitué de toutes les configurations de lancement dont la catégorie ne prend pas en charge le mode exécution.