> Y además de ser fácil, puedes cambiar casi todo lo que te dé la
> gana. Sin embargo una cosa que no he encontrado es cómo cambiar el
> tamaño de la barra de tareas.
>
> $ zgrep resize.*taskbar /usr/share/doc/icewm/TODO.gz
> DONE resizeable/focusable taskbar
>
> Si pone "DONE"... será que se puede... pero también pone esto:
>
> $ zgrep -i taskbar.*resiz /usr/share/doc/icewm/changelog.gz
> - TaskBar now uses non-resizable frame
>
Es poca flexibilidad pero en el fichero preferences de icewm aparece la
opción
TaskBarDoubleHeight=0
Poniendo un 1 en vea de un cero la barra pasa a tener doble alto, con
lo que caben más cositas. Lo dicho, poca flexibilidad, pero hay algo.
Saludos
Diego
--
*************************************************************************
Diego Bote Barco Escuela de Ingenierías Industriales
Área de Matemática Aplicada Avda. de Elvas s/nº
Departamento de Matemáticas C.P.: 06071 BADAJOZ
Universidad de Extremadura Tlf.: 924 289600 ext 9754 Fax: 924 289601
correo-e: [EMAIL PROTECTED]
*************************************************************************
