Unable to hide the menu bar in gnome-terminal 3.10

Fran Dieguez fran.dieguez at mabishu.com
Thu Sep 26 09:57:09 UTC 2013

Previous message: Documenting PPA's online for the interested
Next message: Breaking the CoC [was: Re: Documenting PPA's online for the interested]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Hi,

I've just reported the bug in launchpad.net

https://bugs.launchpad.net/ubuntu-gnome/+bug/1231347

Regards

Previous message: Documenting PPA's online for the interested
Next message: Breaking the CoC [was: Re: Documenting PPA's online for the interested]
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Ubuntu-GNOME mailing list