Format navigators multi ids in navbar

Minor changes in `NavigatorCtrl` to show nicer ids in the navbar when we have multiple of 'em.

Closes #420, without doing what was sugggested there - extracting `Range` was not suitable.