Wallpaper for Lock Screen

Created by: Anonymous

I noticed that the background wallpaper is changed only for the desktop but not for the lock screen. I patched the extension on my system to change the wallpaper for the lock screen, too (diff file for "settings.js" attached), so maybe this feature may be of interest. I've only tested it with Gnome Shell 3.12.