This was wxMaxima bug #1573741.
It is now fixed in the last version of wxmaxima in unstable
(wxmaxima_0.7.1-1).



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

Reply via email to