Groupes de lancement

Identificateur : org.eclipse.debug.ui.launchGroups

Depuis la version 2.1

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

Marques de configuration :

   <!ELEMENT extension EMPTY>

   <!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
   >

Exemples : Voici un exemple de point d'extension de groupe de lancement :

 <extension point="org.eclipse.debug.ui.launchGroups">
  <launchGroup
  id="com.example.ExampleLaunchGroupId"
     mode="run"
     label="Run"
     icon="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.

Copyright (c) 2000, 2003 IBM Corporation and others. All Rights Reserved.