Feature #565

Updated by Alexey Lavrentev over 6 years ago

For each displayed page, the user should know what text it is from. The tab name must be updated at text shift. In addition, the text ID This can be displayed done in the navigation bar or/and on top of the page itself.
Ideally, the buttons "next text" and "previous text" should be available as for pages.