-
Benjamin Otte authored
You can still hover a mouse on insensitive elements; it's up to the theme to disable that. This is in line with the HTML/CSS interpretation of :hover. Insensitive elements still cannot be clicked. https://bugzilla.gnome.org/show_bug.cgi?id=719486
b6f9ce8a