Olá, Ajustei o painel do Gnome 2.10 para se esconder. Porém, estou achando que demora um pouco para se esconder.
Encontrei uma chave no Editor de configurações, /apps/panel/global/panel_hide_delay, que está ajustada para 500. Seria 500 milisegundos? Posso colocar zero? Grato. Obs:Não fiz nenhuma experiência antes pois o painel do Gnome costuma me aprontar. Preferi perguntar primeiro... -- Savio Martins Ramos - Arquiteto Rio de Janeiro ICQ 174972645 Pirataria não! Seja livre: Linux http://www.debian.org
