This problem has been fixed with the following update:
wxwidgets2.8 (2.8.11.0-0ubuntu8) natty; urgency=low
* debian/patches/appmenu2.patch: Fix high CPU usage with
appmenu-gtk, which was caused by appmenu.path (LP: #722375)
** Changed in: wxmaxima (Ubuntu)
Status: New => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/743514
Title:
wxmaxima crashed with SIGABRT in raise()
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
