please close this bug report (I will open a specific one instead): I discovered it's not an ALT-GR problem, but an extended-ASCII one: on cold boots, every char between 0 and 127 is displayed correctly, others aren't (the whole thing did not happen until a couple of weeks ago),
thanks, MZ -- altgr randomly not working https://bugs.launchpad.net/bugs/283934 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
