That explains why I am not experiencing this even after setting up two test systems (shame on me: There was no indication that this bug is about wxMaxima): I am using wxMaxima. Which is a fine graphical frontend, by the way.
Are you using rmaxima or just a plain maxima? -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/825243 Title: tab completion converts input to uppercase To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/maxima/+bug/825243/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
