- "Change desktop" (ctrl + alt + arrow) does not work (Ubuntu)
- Gnome panel: If a panel is set to Autohide, it will normally
reappear when the mouse pointer is hovering over it. This bug causes the panel
to remain hidden.
- Normal tab navigation within Firefox does not work / changes behaviour (ex: pressing tab to move from address-field to search-field)
Other consequences of this bug:
- "Change desktop" (ctrl + alt + arrow) does not work (Ubuntu)
- Gnome panel: If a panel is set to Autohide, it will normally
reappear when the mouse pointer is hovering over it. This bug causes the panel
to remain hidden.
- Normal tab navigation within Firefox does not work / changes behaviour (ex: pressing tab to move from address-field to search-field)