Diff wxmaxima-23.04.1 with a wxmaxima-23.07.0

Thank you!