*** This bug is a duplicate of bug 619811 ***
https://bugs.launchpad.net/bugs/619811
Why this is duplicate of bug #619811, which is about lyx menus not
working? I can't see the correlation. As wxmaxima is using wxwidgets I
would assume this is duplicate of bug #662077.
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/667611
Title:
wxmaxima - missing menu bar
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
