Hi Pedro, thank you for the pointer to the gnome bug description. Although I understand the logic of marking this report "invalid" because on gnome the same one has been marked "not a bug", it still escape my understanding why this behaviour is not a bug. I agree with the user who reported the bug on gnome: "Is there any explanation why popups are so greedy? To my understanding these keys should be always available, like the brightness control keys".
Thank you. ** Summary changed: - Media Keys doesn't work while menu on windows are open + Media Keys do not work while menu on windows are open -- Media Keys do not work while menu on windows are open https://bugs.launchpad.net/bugs/391419 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gtk+2.0 in ubuntu. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
