Modification du menu racine Espace de travail

1. Ouvrez le fichier correspondant pour le modifier :

   • personnel : RépPersonnel/.dt/dtwmrc

   • fichier système : /etc/dt/config/langue/sys.dtwmrc

     Pour plus de détails sur la création de ces fichiers, voir "Fichiers de configuration du Gestionnaire de l'espace de travail".

2. Modifiez la description du menu Espace de travail.

   Son nom par défaut est DtRootMenu.

   	Menu DtRootMenu
    	{
      	  "Workspace Menu"                    f.title
      	  "Shuffle Up"                        f.circle_up
      	  "Shuffle Down"                      f.circle_down
      	  ...
    	}