search

isDipesh / gnome-shell-extension-sensors

Gnome shell extension: Shows CPU temperature, HDD temperature, voltage and fan RPM
https://motorscript.com/gnome-shell-extension-sensors/
161 stars 153 forks source link

Fix for Sensors Settings not opening #116

Closed farsx closed 9 years ago

farsx commented 10 years ago

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.

adrianbroher commented 9 years ago

Cherry picked everything except the bold font change. The Gnome HIG suggest to use radio buttons to select an item within an application menu. Also builtin applications like the keyboard layout only use a dot to indicate the selected item.