GUI: page title

[ksachs]

Context

To navigate browser history or jump from one tab to another it is important to have reasonable titles for web-pages.

Legacy Behavior

legacy titles contain

• title of the record + 'INSPIRE-HEP'
• search query + 'Search Results - INSPIRE-HEP'
• collection + 'INSPIRE-HEP'

Current Behavior Front-end

this is foreseen but not working (yet)

Current Behavior Holding Pen

specific title is never set, it is always just 'INSPIRE Labs'

Proposed simple Behavior for Holding Pen

Minimal solution that allows some navigation.
I don't think dynamic titles work with the current design.

• index.html : {% set title = "HP - Dashboard" %}
• list.html: {% set title = "HP - Listing" %}
• details.html: {% set title = "HP - Details" %}

Prefix could be Holding Pen or HP, separator : or -.

Proposed final Behavior for Holding Pen

Adopt solution of front end for holding pen.
Use the same sort of title with an additional prefix.
A short prefix might be better to see the start of the next term when tabs get small.
This is back-end, we can be cryptic.