Thanks for your bug report.In the git main branch of wxMaxima this just has been resolved via https://github.com/wxMaxima-developers/wxmaxima/commit/b98385cc0892548645c00648db7a1488806093a2.
Kind regards, Gunter.
Thanks for your bug report.In the git main branch of wxMaxima this just has been resolved via https://github.com/wxMaxima-developers/wxmaxima/commit/b98385cc0892548645c00648db7a1488806093a2.
Kind regards, Gunter.