Navigator 'reset' after changes in document

[_johnny7_ger at web.de]

Hello,

I'd like to tidy up some labels and cross references and use the labels
navigator to navigate through my document. But as soon as I delete a
label in the text or undo an action, the navigator dropdown menu jumps
back to table of contents. Is this a bug or a feature? If would be more
convenient if the labels list in the navigator was refreshed and the
filter kept.

Thanks!