Not exactly a bug, perhaps. But of you compile wxmaxima with an old version of wxwidgets and then upgrade wxwidgets - wxmacima is compiled for the old library. Did run the original code through the compiler again and the result does not have the problem any more.
--
Diese Nachricht wurde von meinem Android-Mobiltelefon mit K-9 Mail gesendet.
Not exactly a bug, perhaps. But of you compile wxmaxima with an old version of wxwidgets and then upgrade wxwidgets - wxmacima is compiled for the old library. Did run the original code through the compiler again and the result does not have the problem any more. Mobiltelefon mit K-9 Mail gesendet.
--
Diese Nachricht wurde von meinem Android-