Thanks to Andrea Cimitan for enlightening me that this is not a problem with the design of the panel. The brightness keys on the keyboard are not working either, whereas they worked yesterday. However, xbacklight works to change the brightness, so I guess it's not a problem with the graphics driver. Moving to gnome-settings-daemon.
Thanks to Andrea Cimitan for enlightening me that this is not a problem with the design of the panel. The brightness keys on the keyboard are not working either, whereas they worked yesterday. However, xbacklight works to change the brightness, so I guess it's not a problem with the graphics driver. Moving to gnome-settings- daemon.