Awesome
mirador-jump-to-page
A Mirador plugin to add a text-based dropdown to the window title bar, for quickly selecting pages by their labels rather than their visual appearance.
A Mirador plugin to add a text-based dropdown to the window title bar, for quickly selecting pages by their labels rather than their visual appearance.