Ok, it seems that the Debian reported manage to fully reproduce it when pressing the “menu“ key on his german keyboard.
See http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=624684#45 for the complete info.
Ok, it seems that the Debian reported manage to fully reproduce it when pressing the “menu“ key on his german keyboard.
See http:// bugs.debian. org/cgi- bin/bugreport. cgi?bug= 624684# 45 for the complete info.