Hi, It seems that the recently uploaded wxMaxima version 0.8.4 fixes this issue. It would be kind of you if you could check if this bug still exists in the new version.
Thanks Frank -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
