Save editor preferences

[Louis]

@Marius

The navigator seems to retain its default (squeezed) starting position, when entering the editor from a new browser.
Is it supposed to behave like that?

Thanks for bringing this up @Marius. Navigator persistence was added in 1.2.7.1.