[mobile ui] navigation rework

[Dirk Hohndel]

> On Nov 29, 2015, at 1:25 PM, Dirk Hohndel <dirk at hohndel.org> wrote:
> 
>> - more complete set of components we're using throughout our ui -- the work on
>> that is now shared with Plasma
>> - The various GPS options have moved into their own submenu, it's a lot easier
>> to scan this way
> 
> I don't see this. The menu looks the same to me?

Oh cool, I think I figured it out. When I pull that black square to the right I get a
very nice looking drawer on the left that has the new menu which has
GPS indeed in a sub menu. This looks very very promising!

Thanks Sebastian. I'll push this in a minute and create daily Android apk's

/D