IceWM e bottone menu

Con le versioni di IceWM 1.4.1 e 1.4.2 (non so se anche qualche versione prima) il tasto dei menu di vari temi di icewm non viene individuato e il Window Manager ripiega a quello di default.
Ecco una piccola guida che risolve il problema.

Non avendo capito se questa è stata una scelta dello staff di icewm oppure è un bug, posto una soluzione transitoria in attesa di vedere se si vedranno correzioni future.

Il problema è che icewm non riconosce più il nome dei bottoni come linux.xpm ma solo icewm.xpm.
Quindi bisogna andare nella cartella dei temi della home in:

/home/nomeutente/.icewm/themes/nomedeltema/taskbar

e identificare con un visualizzatore immagini il bottone del menu (in genere è linux.xpm); copiare il bottone nella stessa cartella e rinominarlo in:
icewm.xpm

Esempio di tema con il bottone del menu ripiegato  in default:

Esempio di tema con il bottone del menu originale:

Invece per risolvere questo problema nei temi di sistema già installati, è possibile modificarli nell'apposita cartella /usr/share/icewm/themes

con i privilegi di root ma io lo sconsiglio e consiglio questo metodo meno invasivo per il sistema:

1. individuare il tema con il bottone errato (in questo caso faccio l'esempio del tema Kubicak1.2 per far capire meglio il metodo) nella cartella /usr/share/icewm/themes
2. Creare una cartella nella home utente: /home/nomeutente/.icewm/themes/Kubicak1.2 
3. Creare la sottocartella taskbar
4. Copiare il bottone originale dalla cartella del tema  /usr/share/icewm/themes/Kubicak1.2/taskbar
5. incollarlo nella nuova cartella creata: /home/nomeutente/.icewm/themes/Kubicak1.2/taskbar e rinominarlo da vecchionome.xpm a icewm.xpm
6. Riavviare icewm (non è necessario chiudere la sessione), se il tema era già attivo, direttamente dal menu Esci/Riavvia Icewm
7. Così il tema è perfettamente funzionante senza modificare l'originale dal sistema e lasciandolo tutto di riferimento alla cartella principale di sistema e creando il solo bottone personalizzato nella propria Home.

Ricordate di stare attenti a maiuscole e minuscole nei nomi dei temi, cartelle e files perchè il window manager potrebbe non essere in grado di riconoscere copia modificata apportata 😉