mailing-list for TeXmacs Users

[Massimiliano Gubinelli <address@hidden>]

Seems a bug on our side (due to a unspecified restriction in how certain 
objects have to be handled). I think should be fixable, but I do not have 
much time right now (and a machine unsuitable for development). Maybe I will 
try to give it a look in the following weeks.

Best
max


> On 7. Jan 2018, at 19:00, Philippe Joyez <address@hidden> wrote:
> 
> 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