Hi Max, On Thu, Jun 17, 2021 at 03:51:50PM +0200, Massimiliano Gubinelli wrote: > I need to give a look at the API. But I cannot test so it would be useful if > somebody else can.
I phrased my questions in such a way that you can test on your own system. If you have something, then I can test on my side and next on the new Mac. Best wishes, --Joris > > 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 _______________________________________________ Texmacs-dev mailing list Texmacs-dev@gnu.org https://lists.gnu.org/mailman/listinfo/texmacs-dev
