Guide de l'utilisateur de Java Desktop System Version 3

Édition d'un élément de menu

Pour éditer un élément de menu, procédez comme suit :

  1. Cliquez avec le bouton droit sur l'élément à éditer.

  2. Sélectionnez Propriétés.

  3. Celle-ci permet de modifier les propriétés du lanceur.

  4. Cliquez sur OK.