mailing-list for TeXmacs Users

["Philippe Joyez" <address@hidden>]

Yes, of course, many thanks to Antonio too!
I had reported the problem with the palettes in the Texmacs bugtracker too
sometime ago (https://savannah.gnu.org/bugs/?51486) and now I updated it with
this info. Maybe we should move this discussion over there?

@Max: considering the reply from Qt, does it looks easily fixable ?

Philippe