Script para ocultar los paneles en Gnome

18 01 2009

Creo que habia comentado que tengo una Eee PC 900, la cual es muy comoda para trabajar, además no tengo las manos muy grandes y no me es muy incomo el teclado.

El punto es que a veces la aplicaciones en Gnome las hacen un poco más grandes que mi monitor puede mostrar, a veces es por poco que no se ve completa, para ello decidí crear un script en Python que oculta el panel de arriba y de abajo (es la configuración por defecto de gnome), éste es el script:

#!/usr/bin/env python

import os

command = "gconftool-2 --set /apps/panel/toplevels/panel_1/auto_hide --type bool "
command2 = "gconftool-2 --set /apps/panel/toplevels/panel_0/auto_hide --type bool "

results = os.popen("gconftool-2 --get /apps/panel/toplevels/panel_1/auto_hide").read()
str.replace(results, "\n","")

if results == "false\n":
        os.popen(command + "1")
        os.popen(command2 + "1")
else:
        os.popen(command + "0")
        os.popen(command2 + "0")

Para saber cuales son los paneles en cuestion, porque varian de maquina en maquina si se han removido y re-agregado anteriormente, hay que abrir el gconf-editor se puede abrir pusaldo la combinación de teclas Alt+F2 y escribiendo la caja de texto gconf-editor.

Ya con la aplicación abierta hay que expandir las carpetas apps->panel->toplevels->panel0, como dije anteriormente puede variar esos nombres, una forma de saber si son esos es darle click de las carpetas de alguno de los paneles y darle click en el checkbox auto_hide si el panel llegase a ocultarse significa que ese el correcto y hay que poner el nombre en el script, se repite el mismo proceso para el otro panel ( si tuvieran uno mas).

Un tip extra, es que por defecto los paneles ocultos, se siguen mostrando una parte (6 pixeles), eso se modifica en la propiedad de nuevo de alguno de los paneles auto_hide_size, yo casi siempre lo pongo en 0, asi no se muestran del todo.

Anuncios

Acciones

Information

Responder

Introduce tus datos o haz clic en un icono para iniciar sesión:

Logo de WordPress.com

Estás comentando usando tu cuenta de WordPress.com. Cerrar sesión / Cambiar )

Imagen de Twitter

Estás comentando usando tu cuenta de Twitter. Cerrar sesión / Cambiar )

Foto de Facebook

Estás comentando usando tu cuenta de Facebook. Cerrar sesión / Cambiar )

Google+ photo

Estás comentando usando tu cuenta de Google+. Cerrar sesión / Cambiar )

Conectando a %s




A %d blogueros les gusta esto: