Bug#726310: gnome-shell: ALtGr dead keys are not dead after upgrade

Coffee on Mars coffeeonmars at gmail.com
Sun Mar 30 16:01:08 UTC 2014

Previous message: Bug#726310: gnome-shell: ALtGr dead keys are not dead after upgrade
Next message: Bug#726380: gnome-shell: hitting corner activation points is almost impossibe in dual-monitor setups
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

I am experiencing the same problem with the English international
layout, and I have gnome-shell version 3.8.4-5+b1.

Thanks and regards,
CoM

Previous message: Bug#726310: gnome-shell: ALtGr dead keys are not dead after upgrade
Next message: Bug#726380: gnome-shell: hitting corner activation points is almost impossibe in dual-monitor setups
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pkg-gnome-maintainers mailing list