wxMaxima and wxWidgets 3.0

[Frank S. Thomas]

Hi,

On Sunday 27 April 2014 08:33:58 Francois THIRIOUX wrote:
> 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.

I've just uploaded a new revision which reverts the upgrade to wxWidgets 3.0.
I'm sorry for this mess.

Cheers
Frank