wxMaxima and wxWidgets 3.0

[Francois THIRIOUX]

Hi,

You probably know that there is a bug in Debian/Ubuntu's wxMaxima since
upgrade to wxWidgets 3 :

https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=741569
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742988
https://bugs.launchpad.net/ubuntu/+source/wxmaxima/+bug/1308154
https://github.com/andrejv/wxmaxima/issues/315

This bug is classified as "minor" but it makes wxMaxima *unusable* since
critical keys (as brackets or copy/paste) do not work. Could it be possible
to revert to wxWidgets 2.8 ? I'm not technically able to solve the 3.0
upgrade issues.

Thanks !
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.alioth.debian.org/pipermail/debian-science-maintainers/attachments/20140427/6686cdec/attachment.html>