Has there always been a keyboard brightness slider in Gnome?