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".
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 ... }