Hi, I have filed bug 1376184, to re-enable the brightness slider widget in the gnome-shell user menu. Tim