latin-language-toolkit/arethusa — pull request #422 by LFDM (2014-09-24 14:08:17+00:00)
Title: 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.