> Message: 1
> Date: Thu, 13 Oct 2016 09:49:53 -0400 (EDT)
> From: Allin Cottrell
> To: Jason Benjamin
> Cc: gtk-app-devel-list@gnome.org
> Subject: Re: GTK menus on Ubuntu
> Message-ID:
>
> Content-Type: text/plain; charset=US-ASCII; format=flowed
>
On Tue, 11 Oct 2016, Jason Benjamin wrote:
On Wed, 5 Oct 2016 21:11:41 -0400 (EDT)
Allin Cottrell wrote:
I'm wondering if anyone knows the machanism whereby Ubuntu
"commandeers" the main menu system of a GTK application and sticks
it into the global top-of-screen menu bar, or combines it with
On Wed, 5 Oct 2016 21:11:41 -0400 (EDT)
Allin Cottrell wrote:
> I'm wondering if anyone knows the machanism whereby Ubuntu
> "commandeers" the main menu system of a GTK application and sticks
> it into the global top-of-screen menu bar, or combines it with the
> application-window title bar? I
