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 <texm...@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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
