xtranophilist/gnome-shell-extension-sensors — pull request #116 by farsx (2014-08-27 11:44:59+00:00)
Title: Fix for Sensors Settings not opening

This should fix the issue with 'Sensors Settings' shortcut not launching gnome-shell-extension-prefs tool on Gnome 3.12.
I also restored the bold font (using stylesheet) to indicate the main sensor as the dot is not aligned and doesn't look good.
Tested on Debian testing with Gnome Shell 3.12.2.