[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Moving "Menu Bar" and "Tooltips" to a specific window.
From: |
Christopher Dimech |
Subject: |
Re: Moving "Menu Bar" and "Tooltips" to a specific window. |
Date: |
Mon, 12 Sep 2022 13:32:01 +0200 |
> Sent: Monday, September 12, 2022 at 11:09 PM
> From: "Po Lu" <luangruo@yahoo.com>
> To: "Christopher Dimech" <dimech@gmx.com>
> Cc: "João Paulo Labegalini de Carvalho" <jaopaulolc@gmail.com>, "uzibalqa"
> <uzibalqa@proton.me>, "Stefan Monnier" <monnier@iro.umontreal.ca>,
> help-gnu-emacs@gnu.org
> Subject: Re: Moving "Menu Bar" and "Tooltips" to a specific window.
>
> Christopher Dimech <dimech@gmx.com> writes:
>
> >> In principle, yes. But someone has to write that code, and I won't envy
> >> the person who does, since the current tool bar placement code is
> >> already one of the trickiest pieces of the GTK support code.
> >
> > Perhaps Joao Carvalho could work on it.
>
> Who is that?
A smart Brazilian currently at the University of Alberta who wants to work on
something good. Joao, what do you think? Do you have a team at Alberta?
- Moving "Menu Bar" and "Tooltips" to a specific window., uzibalqa, 2022/09/11
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Pankaj Jangid, 2022/09/11
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Stefan Monnier, 2022/09/11
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., uzibalqa, 2022/09/11
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/11
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Christopher Dimech, 2022/09/12
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/12
- Re: Moving "Menu Bar" and "Tooltips" to a specific window.,
Christopher Dimech <=
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., João Paulo Labegalini de Carvalho, 2022/09/14
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/12
- RE: [External] : Re: Moving "Menu Bar" and "Tooltips" to a specific window., Drew Adams, 2022/09/12
- Re: [External] : Re: Moving "Menu Bar" and "Tooltips" to a specific window., João Paulo Labegalini de Carvalho, 2022/09/14
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., uzibalqa, 2022/09/12
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/12
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., João Paulo Labegalini de Carvalho, 2022/09/14
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., uzibalqa, 2022/09/12
- Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/12
Re: Moving "Menu Bar" and "Tooltips" to a specific window., Po Lu, 2022/09/11