Hi, hoping someone knows about this gizmo (I think it’s a building block rather than a setting anywhere).

 

On some Blackboards, at the top of your tab, you get Welcome, [Name] displayed, instead of just the default thing which is that it displays the name of the tab again, which is already written on the tabby bit.

 

Does thing ring any bells and where could I find it?

 

Thanks!

Leo

 

Leo Havemann
Birkbeck, University of London