La terminal de Guake tiene espacio en la parte superior

11

Al iniciar la terminal de Guake en 13.04, queda un espacio de 1-2 cms en la parte superior. es decir, el borde superior de la terminal guake está 1-2 cm debajo del borde superior de la pantalla.

¿Cómo puedo solucionar esto, ya que funcionaba perfectamente en 12.10.

Según la respuesta seleccionada, ahora se movió a la parte superior, pero ¿alguien tiene alguna idea sobre las dos líneas menores a los lados? (:) Me sigue molestando)

Charlie
fuente

Respuestas:

17

Puedes resolver el problema haciendo que la gravedad suba. No en serio ;)

Necesita hacer un cambio simple al archivo /usr/share/guake/guake.glade. Abra ese archivo con su editor de texto favorito y busque la línea que dice

<property name="gravity">static</property>

Cambia esa línea, para que diga

<property name="gravity">north</property>

Guarde el archivo, reinicie Guake y la brecha debería desaparecer.

Henning Kockerbeck
fuente
Gracias Henning! Desafiar las leyes de la gravedad esencialmente resolvió mi problema. ;);) Ahora guake se ajusta a la parte superior ... pero ... hay líneas estrechas (no más de 1 mm de ancho) en el lado izquierdo y derecho del terminal guake. Supongo que el terminal guake no se extiende a todo el ancho de la pantalla.
charlie
También veo esas líneas, pero al menos en mis ojos son tan pequeñas que no invertiré tiempo en deshacerme de ellas;)
Henning Kockerbeck
2
¿Alguien más puede ayudarme a deshacerme de las líneas estrechas a la izquierda y derecha de la terminal guake?
Charlie
Esto dejó de funcionar en Ubuntu 14.10
Suor
Todavía tengo el problema, así que presento un informe de error . 12 píxeles hacia abajo, solo en una de las pantallas.
Pablo Bianchi
1

guake glade hace que la terminal vuelva a la barra de menú, lo hice con nano / usr / bin / guake

encuentre esto y agregue window_rect.y = 25 antes de regresar

def get_final_window_rect(self):
        """Gets the final size of the main window of guake. The height
        is the window_height property, width is window_width and the
        horizontal alignment is given by window_alignment.
        """
        screen = self.window.get_screen()
        height = self.client.get_int(KEY('/general/window_height'))
        width = 100
        halignment = self.client.get_int(KEY('/general/window_halignment'))

        # get the rectangle just from the first/default monitor in the
        # future we might create a field to select which monitor you
        # wanna use
        window_rect = screen.get_monitor_geometry(0)
        total_width = window_rect.width
        window_rect.height = window_rect.height * height / 100
        window_rect.width = window_rect.width * width / 100

        if width < total_width:
            if halignment == ALIGN_CENTER:
                window_rect.x = (total_width - window_rect.width) / 2
            elif halignment == ALIGN_LEFT:
                window_rect.x = 0
            elif halignment == ALIGN_RIGHT:
                window_rect.x = total_width - window_rect.width
        window_rect.y = 25 # <<<<<<<<<<<<<<<<<<<<< here
        return window_rect
mert
fuente
Intenté esto con los valores = 25 y = 26, pero ¿sin cambios?
Charlie
Parece ser el lugar correcto para editar. ¿Alguien puede ayudarme con los valores correctos? ¿Cuál es la unidad de valor de la propiedad window_rect.y? ¿Es porcentaje o algo?
charlie
1
También probé con algunos otros valores ... pero no pasa nada ... ¿este archivo está en desuso?
charlie
ni funciona para mí
Suor