Offer to install user-theme extension if it isn't available
@matthiasc
Submitted by Matthias Clasen Link to original bug (#687992)
Description
The experience if user-theme is not installed or not enabled is a bit suboptimal - a warning icon and an empty combo box. At a minimum, it would be nice to have a link pointing to extensions.gnome.org so people can easily install it.