Re: Bug#742988: wxMaxima and wxWidgets 3.0

2014-04-29 Thread Francois THIRIOUX
I checked quickly from : http://ftp.debian.org/debian/pool/main/w/wxmaxima/wxmaxima_13.04.2-4_amd64.deb and I did not get any input bug during my short test. Thanks ! 2014-04-29 0:12 GMT+02:00 Olly Betts : > On Mon, Apr 28, 2014 at 08:08:07AM +0200, Francois THIRIOUX wrote: > > *If* the issue

Re: Bug#742988: wxMaxima and wxWidgets 3.0

2014-04-28 Thread Olly Betts
On Mon, Apr 28, 2014 at 08:08:07AM +0200, Francois THIRIOUX wrote: > *If* the issue is keyboard-related, I doubt of any repeatable instructions, > but here I go : > 1) enter some text > 2) select this text with mouse > 3) copy this text with CTRL+C (the left CTRL of my kb) > 4) paste it with CTRL+V