Further, there will be a new compact notification shelf, changes in the PIN entry page, a redesigned volume slider, and a new media output switcher. Google is said to offer a redesigned Settings app ...