Preguntas etiquetadas con gnome

20
¿Cómo puedo cambiar el tema de GNOME Shell?

He instalado GNOME Shell en Ubuntu 12.04 y quiero cambiar el "Tema de Shell", pero no me permite hacerlo. La alerta dice algo como: "La extensión GNOME-Shell no está activada", y quiero instalarla con la consola, pero me devuelve un error. ¿Como puedó resolver esté

20
¿Cómo cambio la configuración de la fuente DPI?

Instalé Oneiric en un sistema limpio, y descubrí que la pestaña de fuente desapareció de la configuración de Apariencia. Este es un problema, porque por defecto el texto en Ubuntu es demasiado grande. Cambié el texto de normal a pequeño en la configuración de Acceso Universal, pero luego fue...

19
¿Cómo editar menús de gnome / unity sin usar Alacarte?

Alacarte se bloquea cada vez que intento editar un submenú o mover un elemento de un submenú a otro y luego tengo que borrar los archivos application.menu o mi escritorio gnomeshell sería inútil. ¿Hay alguna manera de organizar mi menú principal y las subcategorías de aplicaciones de unidad dash...