Edit PRContentWidget. There is a setting called 'Head Title' that
specifies the
title of the page. Probably you need to subclass or
change the implementation, as it is not that powerful.
With the help of my coworker just found there's #menu in #PRStructure
(comment: 'A short title used for navigation facilities.'), which can be
used to implement what I wanted... :)
--
Dennis Schetinin