-
Benjamin Otte authored
This essentially reverts b33877e1 Now that we can theme the spinner as a real icon using -gtk-icontheme() this limit is no longer necessary.
55f473f4
This essentially reverts b33877e1 Now that we can theme the spinner as a real icon using -gtk-icontheme() this limit is no longer necessary.