That explains it:-)

See my other reply asking for a stable tab-bar-tab-name function if
possible.

-- 

Thanks,

--Raman
♈ Id: kg:/m/0285kf1  🦮