I can create views like this and the name in the tab bar changes immediately to ‘XXX’
v = view.window().new_file()
v.set_name('XXX')
However, when I change the name with v.set_name('YYY')
the name only get updated when I use the mouse to click in the view. Calling window.focus_view(v)
also doesn’t help. So how can I update the name of a view shown in the tab bar?