Antwort:
Der Navigator lässt sich wie eine Symbolleiste behandeln: Man kann ihn in der Titelleiste mit der Maus "anfassen" und in die Arbeitsfläche schieben. Ein Doppelklick auf die Titelleiste oder das Verschieben an den Rand dockt ihn wieder am Fensterrand an.
Während des Verschiebens werden Symbole angezeigt, die das Andocken an einem der vier Ränder erleichtern.
Ist der Navigator abgedockt, kann man seine Größe durch "Ziehen" der Ränder verändern.