Open the appropriate file for editing:
Personal: HomeDirectory/.dt/dtwmrc
System-wide: /etc/dt/config/language/sys.dtwmrc
For information on creating these files, see "Workspace Manager Configuration Files".
Edit the description of the Workspace menu.
The default Workspace menu is named DtRootMenu.
Menu DtRootMenu { "Workspace Menu" f.title "Shuffle Up" f.circle_up "Shuffle Down" f.circle_down ... }