This is how lock screen is designed to look like in GNOME 3.10
The news are that those (currently mock-up) designs have started to be implemented. Giovanni Campagna submitted the first patch, which is far from final at the time.
Showing the new message at full size marks an abrubt change and looks bad. Instead, gradually animate from 0px to full natural height. Includes hacks to workaround flickering scrollbars while the animation is in progress.
This one is a better patch. At least it doesn’t crash like the previous one :)
Still, this is slow as hell, and I have the st-box-shadow optimizations.
You can check more at GNOME Wiki
Application Picker Refresh
I guess you already have seen this one year’s old Application Picker mockup, that implies that Applications are stored into the 9-dot icon (3-dot in the bellow mockup).
Florian Mullner (core Gnome Shell developer) and Carlos Soriano Sánchez (GNOME contributor and the person who’s working on this) let us know through GNOME’s Google Community Page that those designs might come soon.
The animations really looks impressive, but because GNOME wants to keep a low-profile in all transitions and not having lots of moving things involved, this might not land. However the designs are from Jakub -jimmac- Steiner senior GNOME Designer.