OpenMandriva: Mageia (Mageia 9) 20/Agosto/2023 - Anuncio, Descargas.
Blogdrake recomienda descargar las imágenes de instalación (iso) vía torrent para evitar corrupción de datos, aprovechar mejor su ancho de banda y mejorar la difusión de las distribuciones.
Cómo cambiar el tamaño de Docky de Gnome-do
Los usuarios de Gnome seguro conocerán bien Gnome-do. Es uno de los mejores lanzadores de aplicaciones (y de archivos, carpetas, páginas web, etc, usando sus plugins) para gnome. Incluyó, no hace mucho tiempo, una interfaz tipo dock:
Docky (requiere de un compositor de ventanas como Compiz para funcionar correctamente).
El tamaño predeterminado de Docky me parece demasiado grande y en las opciones de configuración no existe opción para modificarlo.
Si alguien desea hacer más pequeño al Docky, debe acceder editor de configuraciones de gnome, tecleando en consola, o con el propio gnome-do
gconf-edit
o
gconf-editor
Ahí se deben desplazar a apps/gnome-do/preferences/Docky/Utilities/DockPreferences
Luego se modifica el valor de IconSize por el tamaño de pixeles deseado (yo lo tengo en 30). Click en "Aceptar" y cerramos el editor de configuración. Cerramos (si se está ejecutando) y volvemos a abrir el Gnome-do Docky y listo.
- Blog de Trece
- Entra a tu cuenta o crea una para poder comentar.
Usuario
# 85078 gracias ;) es una
gracias ;)
es una herramienta muy buena gnome-do ;)
pero la verdad lo deje en 64 por que lo tengo con auto-ocultarse asi que no molesta en mi escritorio
saludos