Gnome-shell extension that hooks into window focus/blur events to let you do things.