Manuale del Common Desktop Environment per utenti esperti e amministratori di sistema

Come modificare il menu dello spazio di lavoro esistente

  1. Aprire con un editor il file appropriato:

  2. Modificare la descrizione del menu dello spazio di lavoro.

    Il menu predefinito è DtRootMenu.

    	Menu DtRootMenu
     	{
       	  "Menu dello spazio di lavoro"                    f.title
       	  "Porta sopra"                        f.circle_up
       	  "Porta sotto"                      f.circle_down
       	  ...
     	}