Yes, it is because of libwxgtk3.0. If the official version remains problematic, use this ppa:
https://launchpad.net/~blahota/+archive/wxmaxima/ -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1308154 Title: wxmaxima 13.04.2-2 fails to get some keyboard inputs To manage notifications about this bug go to: https://bugs.launchpad.net/wxmaxima/+bug/1308154/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
