Re: [Texmacs-dev] Version 2.1

[TeXmacs]

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