GWT: x.x, Edition, Show text ID when browsing by motive
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 can be
displayed 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.
(from redmine: issue id 565, created on 2014/01/30 by Alexey Lavrentev)