A theme monitor tool for GNOME Shell