I've implemented the EditorTabTitleProvider extension and the title of a given tab only updates when you click it. Is there any way to force refresh all of them at once? The title provider is reading from something modified during an action, so ideally at the end of that action, I'd like to refresh all tabs.