Re: [Texmacs-dev] Version 2.1

[Massimiliano Gubinelli]

I need to give a look at the API. But I cannot test so it would be useful if 
somebody else can.


m


> On 17. Jun 2021, at 15:37, TeXmacs <texmacs@lix.polytechnique.fr> wrote:
> 
> On Thu, Jun 17, 2021 at 03:21:52PM +0200, Massimiliano Gubinelli wrote:
>> It would be useful to understand if it is a problem in our code or a Qt4 
>> bug. We make only small changes to the standard styles and as far as I 
>> remember we do not touch the menu styles.
>> 
>> Maybe however we can add a tweak to solve this problem in our QTMStyle class.
> 
> Any proposal for such a tweak?  I.e., what would you do to increase
> the vertical spacing between items in the icon (popup) menus?
> 
> Also, what test should we use (during runtime) for knowing whether
> the user is using the new MacOS?
> 
> With answers to these two questions, we can probably fix the issue.
> 
> Best wishes, --Joris
> 
> _______________________________________________
> Texmacs-dev mailing list
> Texmacs-dev@gnu.org
> https://lists.gnu.org/mailman/listinfo/texmacs-dev