Hum... así sí funciona, al menos en un entorno GNOME puro. Es curioso que no se respete el valor que se ha definido en el editor de configuración, ¿es un bug conocido? :-? Saludos, -- Camaleón