Re: Version 2.1
Massimiliano Gubinelli <[email protected]> Thu, 17 Jun 2021 15:51:50 +0200
| Newsgroups | gmane.editors.texmacs.devel |
|---|---|
| Message-ID | <[email protected]> |
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 <[email protected]> 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 > [email protected] > https://lists.gnu.org/mailman/listinfo/texmacs-dev _______________________________________________ Texmacs-dev mailing list [email protected] https://lists.gnu.org/mailman/listinfo/texmacs-dev